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]
Abstract is missing.