The concurrency workbench: a semantics-based tool for the verification of concurrent systems
| Title | The concurrency workbench: a semantics-based tool for the verification of concurrent systems |
| Publication Type | Journal Articles |
| Year of Publication | 1993 |
| Authors | Cleaveland R, Parrow J, Steffen B |
| Journal | ACM Transactions on Programming Languages and Systems |
| Volume | 15 |
| Pagination | 36 - 72 |
| Date Published | 1993/01/01/ |
| ISBN Number | 01640925 |
| URL | http://dl.acm.org/citation.cfm?id=151648 |
| DOI | 10.1145/151646.151648 |