scientific article; zbMATH DE number 1864589

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

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

Symbolic model checking for probabilistic timed automata ⋮ Parameter synthesis for probabilistic timed automata using stochastic game abstractions ⋮ Performance analysis of probabilistic timed automata using digital clocks

This page was built for publication: