BibTeX Entry

Back to list

@inproceedings{Parosh:Alex:PLCS,
  author	= {Abdulla, Parosh Aziz and Rabinovich, Alexander},
  title		= {Verification of Probabilistic Systems with Faulty Communication},
  booktitle	= {Proc. FOSSACS '03, Conf. on Foundations of Software Science and Computation Structures},
  series	= {Lecture Notes in Computer Science},
  volume	= {2620},
  pages		= {39--53},
  year		= {2003},
  URL		= {files/plcs_03.ps}
}