Fachbereich: Sistemas Informáticos y Computación

Fakultät: Informática

Zentrum/Institut: Instituto de Tecnología del Conocimiento (ITC)

Bereich: Computersprachen und Computersysteme

Forschungsgruppe: Design and Testing of Reliable Systems

Email: llana@ucm.es

Doktor von der Universidad Complutense de Madrid mit der Dissertation Jugando con el tiempo semántica de pruebas para álgebras de procesos temporizadas 1996. unter der Leitung von Dr. David de Frutos Escrig.