scientific article; zbMATH DE number 1746447

zbMath0985.68664MaRDI QIDQ4532077

Alexandre David, Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio

Publication date: 28 May 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2067/20670099

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Predicate diagrams for the verification of real-time systems, Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets, Uppaal