BibTeX Entry

Back to list

@inproceedings{Parosh:Ahmed:Bengt:speedup,
  author	= {Abdulla, Parosh Aziz and Bouajjani, Ahmed and Jonsson, Bengt},
  title		= {On-the-Fly Analysis of Systems with Unbounded, Lossy {FIFO} Channels},
  booktitle	= {Proc. 10th Int. Conf. on Computer Aided Verification},
  series	= {Lecture Notes in Computer Science},
  volume	= {1427},
  pages		= {305--318},
  year		= {1998},
  URL		= {files/lossy_cav98.ps}
}