Publication:5692280

zbMath1070.68524MaRDI QIDQ5692280

Moshe Y. Vardi, Orna Kupferman, Rajeev Alur, Thomas A. Henzinger

Publication date: 28 September 2005

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q60: Specification and verification (program logics, model checking, etc.)