DMCA

Model checking and abstraction (1994)

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