| |
| 2001 | ||
|---|---|---|
| 1 | EE | Manuel J. Fernández Iglesias, Francisco J. González-Castaño, José M. Pousada Carballo, Martín Llamas Nistal, Alberto Romero Feijoo: From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study. FME 2001: 436-448 |
| 1 | José M. Pousada Carballo | [1] |
| 2 | Francisco J. González-Castaño | [1] |
| 3 | Manuel J. Fernández Iglesias | [1] |
| 4 | Martín Llamas Nistal | [1] |