@inproceedings{ HORNOS,

author = { MIGUEL JUAN HORNOS BARRANCO } ,

title = { TOWARDS A MORE INTUITIVE SPECIFICATION AND AUTOMATIC VERIFICATION OF SYSTEM PROPERTIES WITH FBT: A TOOL FOR TRANSLATING INTERVAL FORMULAS INTO BÜCHI AUTOMATA },

booktitle = { VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS () (.2004.PORTO (PORTUGAL)) },

year = { 2004 },

pages = { None - None },

location = { PORTO (PORTUGAL) },

}