Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
PDF-Datei  Three-valued abstraction for continuous-time Markov chains

Conference Paper

Author:Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
Conference:Proceedings of 19th International Conference on Computer-Aided Verification (CAV'07)
Series:Lecture Notes in Computer Science
Publisher:Springer
Year:2007
 
BibTeX

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact