The concurrency workbench: a semantics-based tool for the verification of concurrent systems

TitleThe concurrency workbench: a semantics-based tool for the verification of concurrent systems
Publication TypeJournal Articles
Year of Publication1993
AuthorsCleaveland R, Parrow J, Steffen B
JournalACM Transactions on Programming Languages and Systems
Volume15
Pagination36 - 72
Date Published1993/01/01/
ISBN Number01640925
URLhttp://dl.acm.org/citation.cfm?id=151648
DOI10.1145/151646.151648