@inbook{ HORNOS_CAPEL:221-230,

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

title = { AUTOMATA GENERATION FOR ON-THE-FLY AUTOMATIC VERIFICATION USING FORMULAS OF AN INTERVAL LOGIC },

booktitle = { APPLICATION OF CONCURRENCY TO SYSTEM DESIGN },

isbn = { 0-7695-1071-X },

publisher = { IEEE COMPUTER SOCIETY PRESS },

pages = { 221 - 230 },

year = { 2001 },

}