| 1993 |
|---|
| 4 | | Arturo Azcorra,
Enrique Vázquez,
Manuel Alvarez-Campana,
Juan Vinyes:
Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS.
PSTV 1993: 175-189 |
| 1992 |
|---|
| 3 | | J. Vozmediano,
Julio Berrocal,
Juan Vinyes:
Architectures for Interworking between B-ISDN and Frame Relay.
HPN 1992: 443-454 |
| 1991 |
|---|
| 2 | | D. Fernández,
Enrique Vázquez,
Juan Vinyes:
Io: An Estelle Simulator for Performance Evaluation.
FORTE 1991: 51-66 |
| 1 | | Enrique Vázquez,
Pedro Sandoval,
Marifeli Sedano,
Juan Vinyes:
Automatic Implementation of TP4/IP with an Estelle Workstation. Development Methodology and Performance Evaluation.
PSTV 1991: 125-139 |
