%0 Journal Article %1 journals/tc/FerraraLS16 %A Ferrara, Andrea %A Liberatore, Paolo %A Schaerf, Marco %D 2016 %J IEEE Trans. Computers %K dblp %N 10 %P 3148-3156 %T The Size of BDDs and Other Data Structures in Temporal Logics Model Checking. %U http://dblp.uni-trier.de/db/journals/tc/tc65.html#FerraraLS16 %V 65

@article{journals/tc/FerraraLS16, added-at = {2019-09-25T00:00:00.000+0200}, author = {Ferrara, Andrea and Liberatore, Paolo and Schaerf, Marco}, biburl = {https://www.bibsonomy.org/bibtex/29b657549dfc0095a623a3f05844e7666/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.2015.2512872}, interhash = {c0dd28a870f8a94c0b81ff31698dc68b}, intrahash = {9b657549dfc0095a623a3f05844e7666}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 10, pages = {3148-3156}, timestamp = {2019-09-26T12:00:45.000+0200}, title = {The Size of BDDs and Other Data Structures in Temporal Logics Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc65.html#FerraraLS16}, volume = 65, year = 2016 }