%0 Conference Paper %1 conf/tacas/HansenWCNK15 %A Hansen, Jeffery P. %A Wrage, Lutz %A Chaki, Sagar %A de Niz, Dionisio %A Klein, Mark H. %B TACAS %D 2015 %E Baier, Christel %E Tinelli, Cesare %I Springer %K dblp %P 241-255 %T Semantic Importance Sampling for Statistical Model Checking. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#HansenWCNK15 %V 9035 %@ 978-3-662-46680-3

@inproceedings{conf/tacas/HansenWCNK15, added-at = {2024-06-06T00:00:00.000+0200}, author = {Hansen, Jeffery P. and Wrage, Lutz and Chaki, Sagar and de Niz, Dionisio and Klein, Mark H.}, biburl = {https://www.bibsonomy.org/bibtex/2c680dc23f0bb913e6191c2135cc18ada/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2015}, editor = {Baier, Christel and Tinelli, Cesare}, ee = {https://doi.org/10.1007/978-3-662-46681-0_21}, interhash = {539969355c340886cbce58bb3da787d8}, intrahash = {c680dc23f0bb913e6191c2135cc18ada}, isbn = {978-3-662-46680-3}, keywords = {dblp}, pages = {241-255}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-10T07:21:24.000+0200}, title = {Semantic Importance Sampling for Statistical Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2015.html#HansenWCNK15}, volume = 9035, year = 2015 }