Diseño y verificación de sistemas en lotos - QUEMADA VIVES, JUAN (Director) Doctorando: LLAMAS NISTAL, Martín (1995)