@proceedings{ PARETS_GEA:1999,

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

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

booktitle = { EUROGRAPHICS WORKSHOP ON DESIGN, SPECIFICACTION AND VERIFICATION OF INTERACTIVE SYSTEMS (6.1999.BRAGA, PORTUGAL) },

location = { BRAGA, PORTUGAL },

publisher = { D },

year = { 1999 },

}