%0 Conference Paper %1 conf/rv/SammapunLSR07 %A Sammapun, Usa %A Lee, Insup %A Sokolsky, Oleg %A Regehr, John %B RV %D 2007 %E Sokolsky, Oleg %E Tasiran, Serdar %I Springer %K dblp %P 164-175 %T Statistical Runtime Checking of Probabilistic Properties. %U http://dblp.uni-trier.de/db/conf/rv/rv2007.html#SammapunLSR07 %V 4839 %@ 978-3-540-77394-8

@inproceedings{conf/rv/SammapunLSR07, added-at = {2023-01-26T00:00:00.000+0100}, author = {Sammapun, Usa and Lee, Insup and Sokolsky, Oleg and Regehr, John}, biburl = {https://www.bibsonomy.org/bibtex/237d8b9f6e63f2bef6b1b20c9b62b8691/dblp}, booktitle = {RV}, crossref = {conf/rv/2007}, editor = {Sokolsky, Oleg and Tasiran, Serdar}, ee = {https://doi.org/10.1007/978-3-540-77395-5_14}, interhash = {dd1f63aa12041387aff4749490371a12}, intrahash = {37d8b9f6e63f2bef6b1b20c9b62b8691}, isbn = {978-3-540-77394-8}, keywords = {dblp}, pages = {164-175}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:27:40.000+0200}, title = {Statistical Runtime Checking of Probabilistic Properties.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2007.html#SammapunLSR07}, volume = 4839, year = 2007 }