publication venue for Using Decision Diagrams to Compactly Represent the State Space for Explicit Model Checking 2012 State Space Reductions for Scalable Verification of Asynchronous Designs 2010
