Specification and refinement of probabilistic processes (1991)

by B Jonsson, K Larsen
Venue:In Proceedings of the 6th Annual IEEE Symposium on Logic in Computer Science