@InProceedings{ABIJ00,
  author = 	 {P. Abdulla and C. Baier and P. Iyer and B. Jonsson},
  title = 	 {Reasoning about Probabilistic Channel Systems},
  booktitle = 	 {Proc. CONCUR 2000},
  pages =	 {320-330},
  year =	 2000,
  volume =	 1877,
  series =	 {LNCS}
}