Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri. Statistical Model Checking QoS Properties of Systems with SBIP. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Volume 7609 of Lecture Notes in Computer Science, pages 327-341, Springer, 2012. [doi]
@inproceedings{BensalemBDJLN12,
title = {Statistical Model Checking QoS Properties of Systems with SBIP},
author = {Saddek Bensalem and Marius Bozga and Benoît Delahaye and Cyrille Jégourel and Axel Legay and Ayoub Nouri},
year = {2012},
doi = {10.1007/978-3-642-34026-0_25},
url = {http://dx.doi.org/10.1007/978-3-642-34026-0_25},
researchr = {https://researchr.org/publication/BensalemBDJLN12},
cites = {0},
citedby = {0},
pages = {327-341},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I},
editor = {Tiziana Margaria and Bernhard Steffen},
volume = {7609},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-34025-3},
}