Weak bisimulation for fully probabilistic processes, in (1997)

by C Baier, H Hermanns
Venue:Proc. Computer Aided Verification ’97, Lecture Notes in Computer Science 1254