Author of the publication

ECMDA-FA ’09: Model driven architecture - foundations and applications: 5th European conference, ECMDA-FA 2009, Enschede, the Netherlands, June 23-26, 2009 ; proceedings

, , and (Eds.) volume 5562 of Lecture Notes in Computer Science, Berlin and New York, Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model Checking Birth and Death., , and . IFIP TCS, volume 223 of IFIP Conference Proceedings, page 435-447. Kluwer, (2002)Towards Compliance Verification Between Global and Local Process Models., , , and . ICGT, volume 9151 of Lecture Notes in Computer Science, page 221-236. Springer, (2015)Graph-Based Tools: The Contest., and . ICGT, volume 5214 of Lecture Notes in Computer Science, page 463-466. Springer, (2008)Order isomorphism odes not preserve global event independence.. Bulletin of the EATCS, (1993)Action Contraction.. CONCUR, volume 1877 of Lecture Notes in Computer Science, page 290-304. Springer, (2000)Graph Transforming Java Data., , and . FASE, volume 7212 of Lecture Notes in Computer Science, page 209-223. Springer, (2012)Who is Pointing When to Whom?, , and . FSTTCS, volume 3328 of Lecture Notes in Computer Science, page 250-262. Springer, (2004)Compositionality in Graph Transformation.. ICALP (2), volume 6199 of Lecture Notes in Computer Science, page 309-320. Springer, (2010)Subjects, Models, Languages, Transformations.. Language Engineering for Model-Driven Software Development, volume 04101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2004)An Event-Based SOS for a Language with Refinement.. STRICT, page 294-309. Springer, (1995)