scientific article; zbMATH DE number 1863167

zbMath1006.68097MaRDI QIDQ4791838

Antti Valmari, J. Geldenhuys

Publication date: 3 February 2003

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

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

Mathematics Subject Classification ID

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

Related Items (4)

Exploiting interleaving semantics in symbolic state-space generation ⋮ A decision diagram operation for reachability ⋮ MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs ⋮ An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets

This page was built for publication: