scientific article; zbMATH DE number 2080038

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

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

Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis ⋮ On Improving Backwards Verification of Timed Automata (Extended Abstract)

Uses Software

• Unnamed Item
• Uppaal
• CMC

This page was built for publication: