Testing Probabilistic and Nondeterministic Processes (1992)

by Y Wang, K G Larsen
Venue:In: Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII