%0 Conference Paper %1 conf/date/JhaLMR11 %A Jha, Sumit Kumar %A Langmead, Christopher James %A Mohalik, Swarup %A Ramesh, S. %B DATE %D 2011 %I IEEE %K dblp %P 1309-1314 %T When to stop verification?: Statistical trade-off between expected loss and simulation cost. %U http://dblp.uni-trier.de/db/conf/date/date2011.html#JhaLMR11 %@ 978-1-61284-208-0

@inproceedings{conf/date/JhaLMR11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Jha, Sumit Kumar and Langmead, Christopher James and Mohalik, Swarup and Ramesh, S.}, biburl = {https://www.bibsonomy.org/bibtex/2790961261dc3379e6ef392c40ed2ba99/dblp}, booktitle = {DATE}, crossref = {conf/date/2011}, ee = {https://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763210}, interhash = {d07271bd570b1863134afea3e54d9a15}, intrahash = {790961261dc3379e6ef392c40ed2ba99}, isbn = {978-1-61284-208-0}, keywords = {dblp}, pages = {1309-1314}, publisher = {IEEE}, timestamp = {2024-04-10T06:49:01.000+0200}, title = {When to stop verification?: Statistical trade-off between expected loss and simulation cost.}, url = {http://dblp.uni-trier.de/db/conf/date/date2011.html#JhaLMR11}, year = 2011 }