@inproceedings{MNB+8c,
title = { {S}-{BIP} 2.0: Statistical Model Checking Stochastic Real-Time Systems },
author = {Mediouni, Braham Lotfi and Nouri, Ayoub and Bozga, Marius and Dellabani, Mahieddine and Legay, Axel and Bensalem, Saddek},
year = {2018},
booktitle = {Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings},
pages = {536--542},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {11138},
team = {RSD, axe_Mohytos},
}
