@inbook{ HORNOS_CAPEL:375-389,

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

title = { VERIFICACIÓN AUTOMATIZADA EFICIENTE DE SISTEMAS CONCURRENTES ESPECIFICANDO SUS PROPIEDADES CON FÓRMULAS DE UNA LÓGICA DE INTERVALOS },

booktitle = { VI JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS },

isbn = { 84-699-6275-2 },

publisher = { ÓSCAR DÍAZ, ARANTZA ILLARRAMENDI, MARIO PIATTINI (EDITORES) },

pages = { 375 - 389 },

year = { 2001 },

}