@inproceedings{ HORNOS_CAPEL,

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 = { JORNADAS DE INFORMÁTICA (3.1997.PUERTO DE SANTA MARÍA (CÁDIZ), ESPAÑA) },

year = { 1997 },

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

pages = { None - None },

location = { PUERTO DE SANTA MARÍA (CÁDIZ), ESPAÑA },

}