@InProceedings{BKN99,
  author = 	 {C.~Baier and M.Z.~Kwiatkowska and G.~Norman},
  title = 	 {Computing Probability Bounds for Linear Time Formulas over
      Concurrent Markov Chains},
  booktitle = 	 {Proc. Workshop on Probabilistic
      Methods in Verification (PROBMIV'98)},
  year =	 1999,
  volume =	 21,
  series =	 {Electronic Notes in
      Theoretical Computer Science}
}