Efficient Model Checking Using Tabled Resolution (1997)

Cached

Download Links

by Y. S. Ramakrishna , C. R. Ramakrishnan , I. V. Ramakrishnan , Scott A. Smolka , Terrance Swift , David S. Warren
Venue:Computer Aided Verification (CAV '97)
Citations:118 - 32 self