@inbook{ HORNOS_CAPEL:221-236,

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

title = { FBT (FIL TO BÜCHI AUTOMATON TRANSLATOR): HERRAMIENTA PARA ESPECIFICAR Y VERIFICAR SISTEMAS CONCURRENTES MEDIANTE FÓRMULAS DE INTERVALOS },

booktitle = { CONCURRENCIA Y SISTEMAS DISTRIBUIDOS },

isbn = { 84-8021-434-1 },

publisher = { PUBLICACIONS DE LA UNIVERSITAT JAUME I },

pages = { 221 - 236 },

year = { 2003 },

}