@inproceedings{van_dijk_comparative_2015,
    title = {A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking},
    authors = {van Dijk, Tom and Hahn, Ernst Moritz and Jansen, David N. and Li, Yong and Neele, Thomas and Stoelinga, Mari\"{e}lle and Turrini, Andrea and Zhang, Lijun},
    year = {2015},
    publisher = {Springer},
    booktitle = {SETTA 2015},
    pages = {35--51},
    series = {LNCS},
    volume = {9409},
    doi = {10.1007/978-3-319-25942-0_3},
}