@misc{10481/19862,
year = {2012},
url = {http://hdl.handle.net/10481/19862},
organization = {Tesis Univ. Granada. Departamento de Lenguajes y Sistemas Informáticos. Leída el 19 de diciembre de 2002.},
publisher = {Granada: Universidad de Granada},
keywords = {Concurrencia (Ciencias de la Computación)},
keywords = {Sistemas de ordenadores a tiempo real},
title = {Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción Tableau para su aplicación en comprobación de modelos On-The-Fly/},
author = {Hornos Barranco, Miguel Juan},
}