@inproceedings{ GARRIDO_Gea-Megias:16-28,

author = { JOSÉ LUIS GARRIDO BULLEJOS and Miguel Gea-Megias } ,

title = { A COLOURED PRETI NET FORMALISATION FOR A UML-BASED NOTATION APPLIED TO COOPERATIVE SYSTEM MODELLING },

booktitle = { WORKSHOP ON DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEM (9.2002.ROSTOCK) },

year = { 2002 },

pages = { 16 - 28 },

location = { ROSTOCK },

}