Testing preorders for probabilistic processes
| Title | Testing preorders for probabilistic processes |
| Publication Type | Journal Articles |
| Year of Publication | 1992 |
| Authors | Cleaveland R, Smolka S, Zwarico A |
| Journal | Automata, Languages and Programming |
| Pagination | 708 - 719 |
| Date Published | 1992/// |