Publication:4938632
From MaRDI portal
zbMath0939.03041MaRDI QIDQ4938632
Martin Dickhöfer, Thomas Wilke
Publication date: 25 April 2000
03D05: Automata and formal grammars in connection with logical questions
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A survey of timed automata for the development of real-time systems, Towards Deriving Test Sequences by Model Checking, Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall, An Automata-Theoretic Approach to Infinite-State Systems