The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems (1993)

by R Cleaveland, J Parrow, B Steffen
Venue:ACM Transactions on Programming Languages and Systems