TY - CONF T1 - Analyzing concurrent systems using the Concurrency Workbench T2 - Functional Programming, Concurrency, Simulation and Automated Reasoning Y1 - 1993 A1 - Cleaveland, Rance JA - Functional Programming, Concurrency, Simulation and Automated Reasoning ER -