| |
| 2008 | ||
|---|---|---|
| 2 | EE | André Luiz Galdino, Mauricio Ayala-Rincón: A Theory for Abstract Reduction Systems in PVS. CLEI Electron. J. 11(2): (2008) |
| 2007 | ||
| 1 | EE | André Luiz Galdino, César Muñoz, Mauricio Ayala-Rincón: Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. WoLLIC 2007: 177-188 |
| 1 | Mauricio Ayala-Rincón | [1] [2] |
| 2 | César Muñoz | [1] |