@InProceedings{BEM99b,
  author = 	 {C.~Baier and B.~Engelen and M.~Majster-Cederbaum},
  title = 	 {Polynomial Time Algorithms for Testing Probabilistic
      Bisimulation and Simulation},
  booktitle = 	 {Proc.  8th
      International Conference on Computer Aided Verification
      (CAV'96)},
  pages =	 {38-49},
  year =	 1996,
  volume =	 1102,
  series =	 {Lecture Notes in Computer Science}
}