Contribución al análisis del espacio de estados de especificaciones LOTOS - PAVON GOMEZ, SANTIAGO (Director); QUEMADA VIVES, JUAN (Director) Doctorando: LARRABEITI LOPEZ, David (1996)