BibTeX Entry

Back to list

@inproceedings{Parosh:Ahmed:Aurora:BRP,
  author	= {Abdulla, Parosh Aziz and Annichini, Aurore and Bouajjani, Ahmed},
  title		= {Symbolic Verification of Lossy Channel Systems: An Application to the Bounded Retransmission Protocol},
  booktitle	= {Proc. TACAS '99-5th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems},
  series	= {Lecture Notes in Computer Science},
  volume	= {1579},
  year		= {1999},
  URL		= {files/fp_imp.ps}
}