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/sbmf/YounesCZ10
%A Younes, Håkan L. S.
%A Clarke, Edmund M.
%A Zuliani, Paolo
%B SBMF
%D 2010
%E Davies, Jim
%E Silva, Leila
%E da Silva Simão, Adenilso
%I Springer
%K dblp
%P 144-160
%T Statistical Verification of Probabilistic Properties with Unbounded Until.
%U http://dblp.uni-trier.de/db/conf/sbmf/sbmf2010.html#YounesCZ10
%V 6527
%@ 978-3-642-19828-1
@inproceedings{conf/sbmf/YounesCZ10,
added-at = {2017-05-26T00:00:00.000+0200},
author = {Younes, Håkan L. S. and Clarke, Edmund M. and Zuliani, Paolo},
biburl = {https://www.bibsonomy.org/bibtex/2a7cb7b54212dcc3fdd9308930d679629/dblp},
booktitle = {SBMF},
crossref = {conf/sbmf/2010},
editor = {Davies, Jim and Silva, Leila and da Silva Simão, Adenilso},
ee = {https://doi.org/10.1007/978-3-642-19829-8_10},
interhash = {3b4bd679a24b7e9e60eccb9bcb76c7e4},
intrahash = {a7cb7b54212dcc3fdd9308930d679629},
isbn = {978-3-642-19828-1},
keywords = {dblp},
pages = {144-160},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-06-16T12:07:09.000+0200},
title = {Statistical Verification of Probabilistic Properties with Unbounded Until.},
url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2010.html#YounesCZ10},
volume = 6527,
year = 2010
}