## Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle

*Towards Model Checking Stochastic Process Algebra*

IFM, 2000.

@inproceedings{IFM-2000-HermannsKMS, author = "Holger Hermanns and Joost-Pieter Katoen and Joachim Meyer-Kayser and Markus Siegle", booktitle = "{Proceedings of the Second International Conference on Integrated Formal Methods}", doi = "10.1007/3-540-40911-4_24", isbn = "3-540-41196-8", pages = "420--439", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Towards Model Checking Stochastic Process Algebra}", volume = 1945, year = 2000, }