Bwolen Yang, Randal E. Bryant, David R. O Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi. A Performance Study of BDD-Based Model Checking. In Ganesh Gopalakrishnan, Phillip J. Windley, editors, Formal Methods in Computer-Aided Design, Second International Conference, FMCAD 98, Palo Alto, California, USA, November 4-6, 1998, Proceedings. Volume 1522 of Lecture Notes in Computer Science, pages 255-289, Springer, 1998. [doi]
Abstract is missing.