The concurrency workbench: a semantics-based tool for the verification of concurrent systems
Cleaveland, Rance, Parrow, Joachim, Steffen, BernhardVolume:
15
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/151646.151648
Date:
January, 1993
File:
PDF, 2.21 MB
english, 1993