Advertisement

Software & Systems Modeling

, Volume 3, Issue 2, pp 83–84 | Cite as

Introductory paper

  • Paolo Bottoni
  • Mark Minas
Special section on graph transformations and visual modeling techniques
  • 42 Downloads

Keywords

Model Check Special Section Sequence Diagram Formal Semantic Graph Transformation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag 2004

Authors and Affiliations

  1. 1.Dipartimento di Scienze dell’InformazioneUniversità “La Sapienza”RomaItaly
  2. 2.Department of Computer ScienceUniversity of the Federal Armed Forces MunichNeubibergGermany

Personalised recommendations