scientific article; zbMATH DE number 1796126

zbMath0991.68543MaRDI QIDQ4551137

No author found.

Publication date: 4 September 2002

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

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

Employing symmetry reductions in model checking ⋮ Checking extended CTL properties using guarded quotient structures ⋮ Automatic symmetry detection for Promela