scientific article; zbMATH DE number 1231602

zbMath0911.68138MaRDI QIDQ4222923

Alexander Rabinovich

Publication date: 21 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#rabinovich

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

zbMATH Keywords

first-order monadic logicspecification of real-time systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Classical propositional logic (03B05)

Related Items

Non-elementary lower bound for Propositional Duration Calculus ⋮ Star free expressions over the reals ⋮ Expressive completeness of duration calculus.