Compositional verification of probabilistic processes (1992)

by K G Larsen, A Skou
Venue:Proc. CONCUR’92, LNCS