| |
| 2004 | ||
|---|---|---|
| 1 | EE | Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee: Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. FORTE 2004: 150-166 |
| 1 | Baptiste Alcalde | [1] |
| 2 | Ana R. Cavalli | [1] |
| 3 | Dongluo Chen | [1] |
| 4 | David Lee | [1] |