![](/img/cover-not-exists.png)
Using Forward Reachability Analysis for Verification of Lossy Channel Systems
Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt JonssonVolume:
25
Language:
english
Pages:
27
DOI:
10.1023/b:form.0000033962.51898.1a
Date:
July, 2004
File:
PDF, 236 KB
english, 2004