The Concurrency Workbench." To appear (1989)

by R Cleaveland, J Parrow, B Steffen
Venue:in the Proceedings of the Workshop on the Automated Verification of Finite-State Systems