%0 Conference Paper %1 conf/qest/Jegourel0D17 %A Jégourel, Cyrille %A Sun, Jun %A Dong, Jin Song %B QEST %D 2017 %E Bertrand, Nathalie %E Bortolussi, Luca %I Springer %K %P 333-350 %T Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. %U http://dblp.uni-trier.de/db/conf/qest/qest2017.html#Jegourel0D17 %V 10503 %@ 978-3-319-66335-7

@inproceedings{conf/qest/Jegourel0D17, added-at = {2023-12-13T06:48:52.000+0100}, author = {Jégourel, Cyrille and Sun, Jun and Dong, Jin Song}, biburl = {https://www.bibsonomy.org/bibtex/25e8a1b1a713ce6e7a848e5a865ba9ed2/admin}, booktitle = {QEST}, crossref = {conf/qest/2017}, editor = {Bertrand, Nathalie and Bortolussi, Luca}, ee = {https://doi.org/10.1007/978-3-319-66335-7_23}, interhash = {b20474d6ac2f43650a998f1b83341377}, intrahash = {5e8a1b1a713ce6e7a848e5a865ba9ed2}, isbn = {978-3-319-66335-7}, keywords = {}, pages = {333-350}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T06:48:52.000+0100}, title = {Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2017.html#Jegourel0D17}, volume = 10503, year = 2017 }