Verification tools for finite-state concurrent systems, (1994)

by E Clarke, O Grumberg, D Long
Venue:in A Decade of Concurrency: Reflections and Perspectives,