scientific article; zbMATH DE number 1796122

zbMath0991.68043MaRDI QIDQ4551132

Alex Groce, Rance Cleaveland, Girish S. Bhat

Publication date: 4 September 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020038

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

The mu-calculus and Model Checking

Uses Software

• CESAR