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

by Rance Cleaveland , Joachim Parrow , Bernhard Steffen
Citations:116 - 3 self