Publication:4817542
From MaRDI portal
zbMath1046.68597MaRDI QIDQ4817542
Moshe Y. Vardi, Orna Kupferman
Publication date: 24 September 2004
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)