Hermanns, Holger: Interactive Markov chains and the quest for quantified quality
/ Holger Hermanns. - Berlin : Springer, 2002. - XII, 217 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2428)
ISBN 978-3-540-44261-5 / 3-540-44261-8 kart. : EUR 38.52
Literaturverz. S. 207 - 217
Quelle: DNB
Interactive Markov chains and the quest for quantified quality
/ H. Hermanns. - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2428)
ISBN 978-3-540-45804-3
Lizenzpflichtig
Quelle: DNB
Process algebra and probabilistic methods
: performance modeling and verification ; second joint international workshop ; proceedings / PAPM PROBMIV 2002, Copenhagen, Denmark, July 25 - 26, 2002. H. Hermanns ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2399)
ISBN 978-3-540-45605-6
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 12th international conference ; proceedings / TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Holger Hermanns ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3920)
ISBN 978-3-540-33057-8
Lizenzpflichtig
Quelle: DNB
