scientific article; zbMATH DE number 1979545

zbMath1019.68629MaRDI QIDQ4427897

Roderick Bloem, Fabio Somenzi, Kavita Ravi

Publication date: 14 September 2003

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

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

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07)

Related Items (3)

Component-wise incremental LTL model checking ⋮ Compositional SCC analysis for language emptiness ⋮ Automata-Theoretic Model Checking Revisited

This page was built for publication: