scientific article
From MaRDI portal
Publication:2766661
zbMath0986.03024MaRDI QIDQ2766661
Publication date: 17 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors ⋮ Monitoring timed properties (revisited)
This page was built for publication:
