| |
| 1995 | ||
|---|---|---|
| 1 | Konstantinos Kapellos, Muriel Jourdan, Bernard Espiau, Sofiane Abdou: Specification, Formal Verification and Implementation of Tasks and Missions for an Autonomous Vehicle. ISER 1995: 412-421 | |
| 1 | Bernard Espiau | [1] |
| 2 | Muriel Jourdan | [1] |
| 3 | Konstantinos Kapellos | [1] |