Publication:4791267
From MaRDI portal
zbMath1006.68096MaRDI QIDQ4791267
Marta Kwiatkowska, Gethin Norman, Jeremy Sproston
Publication date: 6 February 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540169.htm
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Performance analysis of probabilistic timed automata using digital clocks, Symbolic model checking for probabilistic timed automata