DMCA

Verification Tools for Finite-State Concurrent Systems

by E. Clarke , O. Grumberg , D. Long
Citations:130 - 3 self