| |
| 2008 | ||
|---|---|---|
| 2 | EE | Joaquín Lopez Fernández, Rafael Sanz, Enrique Paz Domonte, Carlos Alonso: Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph. ICRA 2008: 1372-1377 |
| 1991 | ||
| 1 | William F. Bruckert, Carlos Alonso, James M. Melvin: Verification of the First Fault-tolerant VAX System. Digital Technical Journal 3(1): 0- (1991) | |
| 1 | William F. Bruckert | [1] |
| 2 | Enrique Paz Domonte | [2] |
| 3 | Joaquín Lopez Fernández | [2] |
| 4 | James M. Melvin | [1] |
| 5 | Rafael Sanz | [2] |