The NCSU Concurrency Workbench (1996)

by R Cleaveland, S Sims
Venue:in Proc. of Computer Aided Verification, LNCS 1102