Verification tools for finite-state concurrent systems (1993)

by E M Clarke, O Grumberg, D E Long
Venue:A Decade of Concurrency: Reflections and Perspectives, number 803 in Lecture Notes in Computer Science