@inproceedings{ HORNOS_CAPEL:11-21,

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

title = { ON-THE-FLY MODEL CHECKING FROM INTERVAL LOGIC SPECIFICATIONS },

booktitle = { THIRD INTERNATIONAL WORKSHOP ON VERIFICATION AND COMPUTATIONAL LOGIC (.2002.SOUTHAMPTON, UNITED KINGDOM) },

year = { 2002 },

pages = { 11 - 21 },

location = { SOUTHAMPTON, UNITED KINGDOM },

}