%0 Journal Article %A Yang, Bwolen %A Bryant, Randal %A O'Hallaron, David R. %A Biere, Armin %A Coudert, Olivier %A Janssen, Geert %A Ranjan, Rajeev K. %A Somenzi, Fabio %D 1998 %T A Performance Study of BDD-Based Model Checking %U https://kilthub.cmu.edu/articles/journal_contribution/A_Performance_Study_of_BDD-Based_Model_Checking/6620720 %R 10.1184/R1/6620720.v1 %2 http://www-2.cs.cmu.edu/~bryant/pubs.html %K Software Research %X Institute for Software Research %I Carnegie Mellon University