scientific article; zbMATH DE number 1863179

zbMath1006.68531MaRDI QIDQ4791850

Fabio Somenzi, Roderick Bloem, Kavita Ravi, Chao Wang, Gary D. Hachtel

Publication date: 3 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540456.htm

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

GSTE is partitioned model checking ⋮ Compositional SCC analysis for language emptiness

This page was built for publication: