%0 Conference Paper %1 conf/memocode/LalDP20 %A Lal, Ratan %A Duan, Weikang %A Prabhakar, Pavithra %B MEMOCODE %D 2020 %I IEEE %K dblp %P 1-11 %T Bayesian Statistical Model Checking for Continuous Stochastic Logic. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2020.html#LalDP20 %@ 978-1-7281-9148-5

@inproceedings{conf/memocode/LalDP20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Lal, Ratan and Duan, Weikang and Prabhakar, Pavithra}, biburl = {https://www.bibsonomy.org/bibtex/20c332fdd0f8a3b0807fbf3b345aa3f10/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2020}, ee = {https://doi.org/10.1109/MEMOCODE51338.2020.9315001}, interhash = {0390cf3b20b736eed2d659c16f558769}, intrahash = {0c332fdd0f8a3b0807fbf3b345aa3f10}, isbn = {978-1-7281-9148-5}, keywords = {dblp}, pages = {1-11}, publisher = {IEEE}, timestamp = {2024-04-09T10:15:52.000+0200}, title = {Bayesian Statistical Model Checking for Continuous Stochastic Logic.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2020.html#LalDP20}, year = 2020 }