The concurrency workbench
| Title | The concurrency workbench |
| Publication Type | Conference Papers |
| Year of Publication | 1990 |
| Authors | Cleaveland R, Parrow J, Steffen B |
| Conference Name | Automatic Verification Methods for Finite State Systems |
| Date Published | 1990/// |