An analysis of SAT-based model checking techniques in an industrial environment (2005)

by Nina Amla , Xiaoqun Du , Andreas Kuehlmann , Robert P. Kurshan , Kenneth L. Mcmillan
Venue:In CHARME
Citations:26 - 1 self