Publication:4945222
From MaRDI portal
zbMath0944.68128MaRDI QIDQ4945222
Publication date: 26 September 2000
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
Related Items