Testing probabilistic and nondeterministic processes. (1992)

by W Yi, K G Larsen
Venue:In 12th IFIP/WG6.1 Int. Symposium on Protocol Specification, Testing and Verification, PSTV’92,