Joost-Pieter Katoen
Advances in Probabilistic Model Checking
VMCAI, 2010.
@inproceedings{VMCAI-2010-Katoen, author = "Joost-Pieter Katoen", booktitle = "{Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation}", doi = "10.1007/978-3-642-11319-2_5", isbn = "978-3-642-11318-5", pages = "25", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Advances in Probabilistic Model Checking}", volume = 5944, year = 2010, }