Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson. Using Forward Reachability Analysis for Verification of Lossy Channel Systems. Formal Methods in System Design, 25(1):39-65, 2004. [doi]
@article{AbdullaCBJ04,
title = {Using Forward Reachability Analysis for Verification of Lossy Channel Systems},
author = {Parosh Aziz Abdulla and Aurore Collomb-Annichini and Ahmed Bouajjani and Bengt Jonsson},
year = {2004},
url = {http://www.springerlink.com/index/10.1023/B:FORM.0000033962.51898.1a},
tags = {analysis},
researchr = {https://researchr.org/publication/AbdullaCBJ04},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {25},
number = {1},
pages = {39-65},
}