@PROCEEDINGS{GTVMT2007,
  title = {{Graph Transformations and Visual Modeling Techniques: 6th International Workshop, GT-VMT 2007, Braga, Portugal, March 31 - April 1, 2007, Proceedings}},
  author = {{Karsten} {Ehrig} and {Holger} {Giese}},
  booktitle = {GT-VMT 2007},
  abstract = {GT-VMT 2007 is the sixth workshop of a series that serves as a forum for all researchers and practitioners interested in the use of graph-based notation, techniques and tools for the specification, modeling, validation, manipulation and verification of complex systems. Due to the variety of languages and methods used in different domains, the aim of the workshop is to promote engineering approaches that starting from high-level specifications and robust formalizations allow for the design and the implementation of such visual modeling techniques, hence providing effective tool support at the semantic level (e.g., for model analysis, transformation, and consistency management). Contributions are welcome from communities working on popular visual modeling notations like UML, Petri nets, Graph Transformation, Business Process/Workflow Models. This edition of the workshop has an additional focus on application of graph transformation and visual modeling techniques in engineering, biology, and medicine.},
  publisher = {EASST},
  series = {Electronic Communications of the EASST},
  year = {2007},
  partner = {ULEICES},
  status = {public},
  task = {T3.3, T5.2, T7.1, T7.2, T7.3, T7.4},
}