@proceedings{ TORRES:1999,

author = { JUAN CARLOS TORRES CANTERO } ,

title = { DESING, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS 97 },

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

location = { BRAGA, PORTUGAL },

address = { ALEMANIA },

publisher = { (EDS.) SPRINGER-VERLAG },

year = { 1999 },

isbn = { 3-211-83055-3 },

}