Publication:2766555
From MaRDI portal
zbMath0986.68524MaRDI QIDQ2766555
Radu I. Siminiceanu, Gerald Lüttgen, Gianfranco Ciardo
Publication date: 17 June 2002
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Exploiting interleaving semantics in symbolic state-space generation, MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Uses Software