The NCSU Concurrency Workbench (1996)

by R Cleaveland, S Sims
Venue:Proceedings of the 8th International Conference Computer Aided Verification