TY - CONF T1 - The NCSU concurrency workbench T2 - Computer Aided Verification Y1 - 1996 A1 - Cleaveland, Rance A1 - Sims,S. JA - Computer Aided Verification ER -