Aplying SAT methods in unbounded symbolic model checking (2002)

by K L McMillan
Venue:In Computer Aided Verification, Brinksma, E., Guldstrand Larsen, K. (eds.), LNCS 2404