@proceedings{ GEA_PARETS:1997,

author = { MIGUEL GEA MEGIAS and JOSE PARETS LLORCA } ,

title = { IV EUROGRAPHICS WORKSHOP ON DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEM },

booktitle = { EUROGRAPHICS WORKSHOP ON DESIGN, SPECIFICACTION AND VERIFICATION OF INTERACTIVE SYSTEMS },

location = { BRAGA, PORTUGAL },

address = { GRANADA, ESPAÑA },

publisher = { D },

year = { 1997 },

}