The Concurrency Workbench: A semantics based tool for the verification of concurrent systems (1993)

by R Cleaveland, J Parrow, B Steffen
Venue:7 [GLL+90] [HLH91] [Lam79