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

by R Cleaveland, J Parrow, B Steffen
Venue:ACM Trans. Programming Languages and Systems