@Article{BEM99a,
  author = 	 {C.~Baier and B.~Engelen and M.~Majster-Cederbaum},
  title = 	 {Deciding Bisimilarity and Similarity for Probabilistic
      Processes},
  journal = 	 {Journal of Computer and System
      Sciences},
  year = 	 2000,
  volume =	 60,
  pages =	 {187-231}
}