The NCSU concurrency workbench (1996)

by R Cleaveland, S Sims
Venue:Proc. of Int. Conference on Computer Aided Verification (CAV’96), volume 1102 of LNCS