Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson
On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels
CAV, 1998.
@inproceedings{CAV-1998-AbdullaBJ,
author = "Parosh Aziz Abdulla and Ahmed Bouajjani and Bengt Jonsson",
booktitle = "{Proceedings of the 10th International Conference on Computer Aided Verification}",
doi = "10.1007/BFb0028754",
isbn = "3-540-64608-6",
pages = "305--318",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels}",
volume = 1427,
year = 1998,
}