TY  - THES 
A3  - Capel Tuñón, Manuel Isidoro
AU  - Hornos Barranco, Miguel Juan
A4  - Universidad de Granada. Departamento de Lenguajes y Sistemas Informáticos
PY  - 2012
SN  - 9788469493359
UR  - http://hdl.handle.net/10481/19862
LA  - spa
PB  - Granada: Universidad de Granada
KW  - Concurrencia (Ciencias de la Computación)
KW  - Sistemas de ordenadores a tiempo real
TI  - 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/
M3  - info:eu-repo/semantics/doctoralThesis
ER  -