%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 }