Analyzing concurrent systems using the Concurrency Workbench
| Title | Analyzing concurrent systems using the Concurrency Workbench |
| Publication Type | Conference Papers |
| Year of Publication | 1993 |
| Authors | Cleaveland R |
| Conference Name | Functional Programming, Concurrency, Simulation and Automated Reasoning |
| Date Published | 1993/// |