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
Citations:102 - 3 self