Title :
ETMCC: model checking performability properties of Markov chains
Author :
Hermanns, Holger ; Katoen, Joost-Pieter ; Meyer-Kayser, Joachim ; Siegle, Markus
Author_Institution :
Universitat des Saarlandes
Keywords :
Algebra; Computer science; Engines; Graphical user interfaces; Logic; Numerical analysis; Software tools; Stochastic processes; Throughput; Time measurement;
Conference_Titel :
Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on
Print_ISBN :
0-7695-1952-0
DOI :
10.1109/DSN.2003.1209982
