@InProceedings{BH97,
  author = 	 {C.~Baier and H.~Hermanns},
  title = 	 {Weak Bisimulation for
      Fully Probabilistic Processes},
  booktitle = 	 {Proc. 9th International
      Conference on Computer Aided Verification (CAV'97)},
  pages =	 {119-130},
  year =	 1997,
  volume =	 1254,
  series =	 {Lecture
      Notes in Computer Science}
}