Equivalence and preorder checking for finite-state systems
| Title | Equivalence and preorder checking for finite-state systems |
| Publication Type | Journal Articles |
| Year of Publication | 2001 |
| Authors | Cleaveland R, Sokolsky O |
| Journal | Handbook of Process Algebra |
| Pagination | 391 - 424 |
| Date Published | 2001/// |