scientific article; zbMATH DE number 6747942

zbMath1366.68177arXiv1403.1666MaRDI QIDQ5283016

Moshe Y. Vardi, Jianwen Li, Jifeng He, Geguang Pu, Li-jun Zhang

Publication date: 18 July 2017

Full work available at URL: https://arxiv.org/abs/1403.1666

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Finite-trace linear temporal logic: coinductive completeness ⋮ Unnamed Item

This page was built for publication: