![]() | ![]() |
2004 | ||
---|---|---|
2 | EE | 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) |
2001 | ||
1 | EE | Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu: Analyzing Fair Parametric Extended Automata. SAS 2001: 335-355 |
1 | Parosh Aziz Abdulla | [2] |
2 | Ahmed Bouajjani | [1] [2] |
3 | Bengt Jonsson | [2] |
4 | Yassine Lakhnech | [1] |
5 | Mihaela Sighireanu | [1] |