Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}