Publication:4270071

zbMath0939.68083MaRDI QIDQ4270071

Moshe Y. Vardi, Orna Kupferman

Publication date: 20 December 1999

zbMATH Keywords

robust model checking

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)