@inbook{ HORNOS_CAPEL:21-30,

author = { MIGUEL JUAN HORNOS BARRANCO and MANUEL ISIDORO CAPEL TUÑON } ,

title = { IMPLEMENTACIÓN DE UNA HERRAMIENTA DE ESPECIFICACIÓN Y VALIDACIÓN PARA SISTEMAS REACTIVOS },

booktitle = { ACTAS DE LAS III JORNADAS DE INFORMÁTICA },

isbn = { 84-8498-463-X },

publisher = { UNIVERSIDAD DE GRANADA },

pages = { 21 - 30 },

year = { 1997 },

}