@inproceedings{ 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 = { INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (2.2001.NEWCASTLE UPON TYNE, UK) },

year = { 2001 },

pages = { 221 - 230 },

location = { NEWCASTLE UPON TYNE, UK },

}