Matthias Kuntz, Markus Siegle. CASPA: Symbolic model checking of stochastic systems. In Reinhard German, Armin Heindl, editors, Proceedings 13th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems, MMB 2006, March 27-29, 2006, Nürnberg, Germany. pages 465-468, VDE Verlag, 2006.
Abstract is missing.