Model checking and abstraction (1994)

Cached

Download Links

by Peter J. Clarke , Djuradj Babich , Tariq M. King , B. M. Golam Kibria
Venue:ACM Transactions on Programming Languages and Systems
Citations:625 - 48 self