@inproceedings{NLB+13,
title = {SBIP: A Statistical Model Checking Extension for the BIP Framework },
author = {Nouri, Ayoub and Legay, Axel and Bensalem, Saddek and Bozga, Marius},
year = {2013},
booktitle = {Statistical Model Checking Workshop, SMC},
team = {DCS, RSD},
}
