Publication:4472225
From MaRDI portal
zbMath1043.68588MaRDI QIDQ4472225
Victor Braberman, A. Olivero, Diego Garbervetsky
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800021.htm
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
On Improving Backwards Verification of Timed Automata (Extended Abstract), Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis
Uses Software