Speci and re of probabilistic processes (1991)

by B Jonsson, K G Larsen
Venue:Proc. IEEE Logic in Computer Science (LICS