Verification Tools for Finite-State Concurrent Systems

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