Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin J. Norman, David Parker. Faster and Symbolic CTMC Model Checking. In Luca de Alfaro, Stephen Gilmore, editors, Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings. Volume 2165 of Lecture Notes in Computer Science, pages 23-38, Springer, 2001. [doi]
@inproceedings{KatoenKNP01,
title = {Faster and Symbolic CTMC Model Checking},
author = {Joost-Pieter Katoen and Marta Z. Kwiatkowska and Gethin J. Norman and David Parker},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2165/21650023.htm},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/KatoenKNP01},
cites = {0},
citedby = {0},
pages = {23-38},
booktitle = {Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings},
editor = {Luca de Alfaro and Stephen Gilmore},
volume = {2165},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42556-X},
}