On automatically distinguishing inequivalent processes
| Title | On automatically distinguishing inequivalent processes |
| Publication Type | Conference Papers |
| Year of Publication | 1990 |
| Authors | Cleaveland R |
| Conference Name | Workshop on Computer-Aided Verification |
| Date Published | 1990/// |