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/setta/DijkHJLNST015
%A van Dijk, Tom
%A Hahn, Ernst Moritz
%A Jansen, David N.
%A Li, Yong
%A Neele, Thomas
%A Stoelinga, Mariëlle
%A Turrini, Andrea
%A Zhang, Lijun
%B SETTA
%D 2015
%E Li, Xuandong
%E Liu, Zhiming
%E Yi, Wang
%I Springer
%K
%P 35-51
%T A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.
%U http://dblp.uni-trier.de/db/conf/setta/setta2015.html#DijkHJLNST015
%V 9409
%@ 978-3-319-25941-3
@inproceedings{conf/setta/DijkHJLNST015,
added-at = {2023-12-12T19:38:05.000+0100},
author = {van Dijk, Tom and Hahn, Ernst Moritz and Jansen, David N. and Li, Yong and Neele, Thomas and Stoelinga, Mariëlle and Turrini, Andrea and Zhang, Lijun},
biburl = {https://www.bibsonomy.org/bibtex/2c3380507926d6d3211f226d01e67162c/admin},
booktitle = {SETTA},
crossref = {conf/setta/2015},
editor = {Li, Xuandong and Liu, Zhiming and Yi, Wang},
ee = {https://doi.org/10.1007/978-3-319-25942-0_3},
interhash = {23b46e96e6735bce71b66d8b86693c16},
intrahash = {c3380507926d6d3211f226d01e67162c},
isbn = {978-3-319-25941-3},
keywords = {},
pages = {35-51},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T19:38:05.000+0100},
title = {A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.},
url = {http://dblp.uni-trier.de/db/conf/setta/setta2015.html#DijkHJLNST015},
volume = 9409,
year = 2015
}