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/safecomp/CarnevaliRV11
%A Carnevali, Laura
%A Ridi, Lorenzo
%A Vicario, Enrico
%B SAFECOMP
%D 2011
%E Flammini, Francesco
%E Bologna, Sandro
%E Vittorini, Valeria
%I Springer
%K dblp
%P 409-422
%T A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models.
%U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2011.html#CarnevaliRV11
%V 6894
%@ 978-3-642-24269-4
@inproceedings{conf/safecomp/CarnevaliRV11,
added-at = {2017-06-05T00:00:00.000+0200},
author = {Carnevali, Laura and Ridi, Lorenzo and Vicario, Enrico},
biburl = {https://www.bibsonomy.org/bibtex/29bca1b50a9b54885ae39c3bbadce7ab2/dblp},
booktitle = {SAFECOMP},
crossref = {conf/safecomp/2011},
editor = {Flammini, Francesco and Bologna, Sandro and Vittorini, Valeria},
ee = {https://doi.org/10.1007/978-3-642-24270-0_30},
interhash = {a47cf60eaa95e92968f5ecf674531bdf},
intrahash = {9bca1b50a9b54885ae39c3bbadce7ab2},
isbn = {978-3-642-24269-4},
keywords = {dblp},
pages = {409-422},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T13:35:50.000+0200},
title = {A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models.},
url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2011.html#CarnevaliRV11},
volume = 6894,
year = 2011
}
