Automatic Verification of Finite-State Concurrent Systems

Automatic Verification of Finite-State Concurrent Systems Edmund M. Clarke 126 conf/lics/LICS9 1994 LICS db/conf/lics/lics94.html#Clarke94