The Concurrency Factory: A development environment for concurrent systems
| Title | The Concurrency Factory: A development environment for concurrent systems |
| Publication Type | Conference Papers |
| Year of Publication | 1996 |
| Authors | Cleaveland R, Lewis P, Smolka S, Sokolsky O |
| Conference Name | Computer Aided Verification |
| Date Published | 1996/// |