Publication:4551135
From MaRDI portal
zbMath0991.68042MaRDI QIDQ4551135
Moshe Y. Vardi, Orna Kupferman, Hana Chockler, Robert Kurshan
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020066
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)