The concurrency workbench (1989)

by R CLEAVELAND, J PARROW, B STEFFEN
Venue:In Proc. Workshop Automatic Verification Methods for Finite-State Systems. Springer-Verlag. LNCS