Testing equivalence as a bisimulation equivalence
| Title | Testing equivalence as a bisimulation equivalence |
| Publication Type | Conference Papers |
| Year of Publication | 1990 |
| Authors | Cleaveland R, Hennessy M |
| Conference Name | Automatic Verification Methods for Finite State Systems |
| Date Published | 1990/// |