@Inproceedings{DBLP:conf/isola/BensalemBDJLN12,
   joint-pub = {false},
   status = {public},
   task = {T5.1},
   publisher = {Springer},
   doi = {978-3-642-34026-0_25},
   booktitle = {ISoLA (1)},
   series = {Lecture Notes in Computer Science},
   year = {2012},
   isbn = {978-3-642-34025-3},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {7609},
   main = {yes},
   accessible = {true},
   title = {{Statistical Model Checking QoS Properties of Systems with SBIP}},
   editor = {Tiziana Margaria and Bernhard Steffen},
   author = {Saddek Bensalem and Marius Bozga and Beno\^{\i}t Delahaye and Cyrille J{\'e}gourel and Axel Legay and Ayoub Nouri},
   ee = {http://dx.doi.org/10.1007/978-3-642-34026-0_25},
   period = {year2},
   owner = {kroiss},
   bibsource = {DBLP, http://dblp.uni-trier.de},
   ascens_ref = {true},
   partner = {Verimag},
   wp = {WP5},
   pages = {327-341}
}