DocumentCode
1614103
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
fYear
2003
Firstpage
673
Lastpage
673
Keywords
Algebra; Computer science; Engines; Graphical user interfaces; Logic; Numerical analysis; Software tools; Stochastic processes; Throughput; Time measurement;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on
Print_ISBN
0-7695-1952-0
Type
conf
DOI
10.1109/DSN.2003.1209982
Filename
1209982
Link To Document