DMCA

Reducing model checking of the many to the few (2000)

by E. Allen Emerson , Vineet Kahlon
Venue:In 17th International Conference on Automated Deduction (CADE-17
Citations:66 - 6 self