@inproceedings{BBD+2,
title = {Statistical Model Checking QoS Properties of Systems with SBIP },
author = {Bensalem, Saddek and Bozga, Marius and Delahaye, Beno\^it and J'egourel, Cyrille and Legay, Axel and Nouri, Ayoub},
year = {2012},
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, Proc},
pages = {327-341},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7609},
team = {DCS, RSD},
}
