scientific article

zbMath0986.68524MaRDI QIDQ2766555

Radu I. Siminiceanu, Gerald Lüttgen, Gianfranco Ciardo

Publication date: 17 June 2002

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 (3)

Exploiting interleaving semantics in symbolic state-space generation ⋮ MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs ⋮ Symbolic state estimation in bounded timed labeled Petri nets

Uses Software

• SPIN
• BDDNOW

This page was built for publication: