%0 Conference Paper %1 conf/fmcad/YangBOBCJRS98 %A Yang, Bwolen %A Bryant, Randal E. %A O'Hallaron, David R. %A Biere, Armin %A Coudert, Olivier %A Janssen, Geert %A Ranjan, Rajeev K. %A Somenzi, Fabio %B FMCAD %D 1998 %E Gopalakrishnan, Ganesh %E Windley, Phillip J. %I Springer %K dblp %P 255-289 %T A Performance Study of BDD-Based Model Checking. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad1998.html#YangBOBCJRS98 %V 1522 %@ 3-540-65191-8

@inproceedings{conf/fmcad/YangBOBCJRS98, added-at = {2019-05-27T00:00:00.000+0200}, author = {Yang, Bwolen and Bryant, Randal E. and O'Hallaron, David R. and Biere, Armin and Coudert, Olivier and Janssen, Geert and Ranjan, Rajeev K. and Somenzi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/27bdb3832ed5c338ee3966d5710d6e77f/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/1998}, editor = {Gopalakrishnan, Ganesh and Windley, Phillip J.}, ee = {https://doi.org/10.1007/3-540-49519-3_18}, interhash = {d22e255493b8ae98b4ba92315ef1ca74}, intrahash = {7bdb3832ed5c338ee3966d5710d6e77f}, isbn = {3-540-65191-8}, keywords = {dblp}, pages = {255-289}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-28T11:41:54.000+0200}, title = {A Performance Study of BDD-Based Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad1998.html#YangBOBCJRS98}, volume = 1522, year = 1998 }