The NCSU concurrency workbench
| Title | The NCSU concurrency workbench |
| Publication Type | Conference Papers |
| Year of Publication | 1996 |
| Authors | Cleaveland R, Sims S |
| Conference Name | Computer Aided Verification |
| Date Published | 1996/// |
| Title | The NCSU concurrency workbench |
| Publication Type | Conference Papers |
| Year of Publication | 1996 |
| Authors | Cleaveland R, Sims S |
| Conference Name | Computer Aided Verification |
| Date Published | 1996/// |