@book{ HORNOS:xxii+281,
author = { MIGUEL JUAN HORNOS BARRANCO } ,
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 },
year = { 2012 },
pages = { xxii+281 },
isbn = { 978-84-694-9335-9 },
}