@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 },

}