logo
BibTeX Entry


@inproceedings{ABIJ:problossy,
  author	= {Abdulla, Parosh Aziz and Baier, Christel and Iyer, Purushothaman and Jonsson, Bengt},
  title		= {Reasoning about Probabilistic Lossy Channel Systems},
  booktitle	= {Proc. CONCUR 2000-11th Int. Conf. on Concurrency Theory},
  series	= {Lecture Notes in Computer Science},
  pages		= {320--333},
  volume	= {1877},
  year		= {2000},
  URL		= {files/plcs.ps}
}