- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 1 |      | Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia: Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols. IJAOSE 2(4): 422-448 (2008) |
| 1 | Linda Badri | [1] |
| 2 | Mourad Badri | [1] |
| 3 | Fathi Hamidane | [1] |
| 4 | Farid Mokhati | [1] |