Publication:2754072
From MaRDI portal
zbMath0974.68083MaRDI QIDQ2754072
Moshe Y. Vardi, Orna Kupferman
Publication date: 11 November 2001
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Uses Software