TY - CONF T1 - The concurrency workbench T2 - Automatic Verification Methods for Finite State Systems Y1 - 1990 A1 - Cleaveland, Rance A1 - Parrow,J. A1 - Steffen,B. JA - Automatic Verification Methods for Finite State Systems ER -