The concurrency workbench: A semantics-based verification tool for finite-state systems (1989)

by R Cleaveland, J Parrow, B Steffen
Venue:In Proceedings of the 9th IFIP Symposium on Protocol Specification, Testing and Verification