%0 Journal Article %J ACM Transactions on Programming Languages and Systems %D 1993 %T The concurrency workbench: a semantics-based tool for the verification of concurrent systems %A Cleaveland, Rance %A Parrow,Joachim %A Steffen,Bernhard %B ACM Transactions on Programming Languages and Systems %V 15 %P 36 - 72 %8 1993/01/01/ %@ 01640925 %G eng %U http://dl.acm.org/citation.cfm?id=151648 %R 10.1145/151646.151648