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/isola/LarsenL16a
%A Larsen, Kim G.
%A Legay, Axel
%B ISoLA (2)
%D 2016
%E Margaria, Tiziana
%E Steffen, Bernhard
%K dblp
%P 843-862
%T On the Power of Statistical Model Checking.
%U http://dblp.uni-trier.de/db/conf/isola/isola2016-2.html#LarsenL16a
%V 9953
%@ 978-3-319-47168-6
@inproceedings{conf/isola/LarsenL16a,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Larsen, Kim G. and Legay, Axel},
biburl = {https://www.bibsonomy.org/bibtex/2ea846e968359d47728a70d4fc0450bb2/dblp},
booktitle = {ISoLA (2)},
crossref = {conf/isola/2016-2},
editor = {Margaria, Tiziana and Steffen, Bernhard},
ee = {https://doi.org/10.1007/978-3-319-47169-3_62},
interhash = {814c87ccf9fee34a6ebafed3a3340935},
intrahash = {ea846e968359d47728a70d4fc0450bb2},
isbn = {978-3-319-47168-6},
keywords = {dblp},
pages = {843-862},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T13:42:58.000+0200},
title = {On the Power of Statistical Model Checking.},
url = {http://dblp.uni-trier.de/db/conf/isola/isola2016-2.html#LarsenL16a},
volume = 9953,
year = 2016
}