The concurrency workbench: a semanticsbased tool for the verification of concurrent systems (1993)

by R Cleaveland, J Parrow, B Steffen
Venue:ACM Trans. Program. Lang. Syst