The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems
ACM Transactions on Programming Languages and Systems - United States
doi 10.1145/151646.151648
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 1993
Authors
Publisher
Association for Computing Machinery (ACM)