scientific article; zbMATH DE number 1361134

zbMath0939.68083MaRDI QIDQ4270071

Moshe Y. Vardi, Orna Kupferman

Publication date: 20 December 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

robust model checking

Mathematics Subject Classification ID

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

Related Items (4)

Model measuring for discrete and hybrid systems ⋮ Nondeterministic Moore automata and Brzozowski's minimization algorithm ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ Nondeterministic Moore Automata and Brzozowski’s Algorithm

This page was built for publication: