The concurrency workbench: A semantics based tool for the verification of concurrent systems (1991)

by Rance Cleaveland, Joachim Parrow, Bernhard Steffen
Venue:In Proceedings of the Workshop on Automatic Verification Methods for Finite State Machines