External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling

José Luis Garrido, Miguel Gea. A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling. In Peter Forbrig, Quentin Limbourg, Bodo Urban, Jean Vanderdonckt, editors, Interactive Systems. Design, Specification, and Verification, 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002. Volume 2545 of Lecture Notes in Computer Science, pages 16-28, Springer, 2002. [doi]

Authors

José Luis Garrido

This author has not been identified. Look up 'José Luis Garrido' in Google

Miguel Gea

This author has not been identified. Look up 'Miguel Gea' in Google
runs on