Publications in publications/Leen_Lambers.bib
72 results
2019
Sven Schneider, Leen Lambers and Fernando Orejas, "A Logic-Based Incremental Approach to Graph Repair", in Reiner Hähnle, Wil M. P. van der Aalst, Eds., Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic April 6-11, 2019, Proceedings, vol. 11424 of Lecture Notes in Computer Science, pp. 151–167, Springer, 2019. [bibtex] [url]
Leen Lambers, Kristopher Born, Jens Kosiol, Daniel Strüber, Gabriele Taentzer, "Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach", Journal of Logical and Algebraic Methods in Programming, vol. 103, pp. 105-129, 2019. [bibtex] [url]
Leen Lambers, Jens Kosiol, Daniel Strüber, Gabriele Taentzer, "Exploring Conflict Reasons for Graph Transformation Systems", in Esther Guerra, Fernando Orejas, Eds., Graph Transformation - 12th International Conference, ICGT 2019, Lecture Notes in Computer Science, Springer, 2019, Accepted for publication.. [bibtex]
Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert, "Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Summary)", in Steffen Becker, Ivan Bogicevic, Georg Herzwurm, Stefan Wagner, Eds., Software Engineering and Software Management, SE/SWM 2019, Stuttgart Germany, February 18-22, 2019, vol. P-292 of LNI, pp. 153–154, GI, 2019. [bibtex] [url]
2018
Sven Schneider, Leen Lambers and Fernando Orejas, "Automated reasoning for attributed graph properties", Software Tools for Technology Transfer, June 2018. [bibtex] [url]
Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers, "Institutions for navigational logics for graphical structures", Theoretical computer science, vol. 741, pp. 19 - 24, 2018, An Observant Mind : Essays Dedicated to Don Sannella on the Occasion of his 60th Birthday. [bibtex] [url]
Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer, "Initial Conflicts and Dependencies: Critical Pairs Revisited", in Reiko Heckel, Gabriele Taentzer, Eds., Graph Transformation, Specifications, and Nets, vol. 10800 of Lecture Notes in Computer Science, pp. 105-123, Springer, 2018. [bibtex]
Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Hübert, "Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation", in Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, pp. 716-727, New York, NY, USA: ACM, 2018. [bibtex] [url]
Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino, "Towards a Navigational Logic for Graphical Structures", in Reiko Heckel, Gabriele Taentzer, Eds., Graph Transformation, Specifications, and Nets, vol. 10800 of Lecture Notes in Computer Science, pp. 124-141, Springer, 2018. [bibtex] [url]
Leen Lambers, Jens Weber, Eds., Graph Transformation - 11th International Conference, ICGT 2018 Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, vol. 10887 of Lecture Notes in Computer Science, Springer, 2018. [bibtex] [url]
Johannes Dyck, Holger Giese and Leen Lambers, "Automatic verification of behavior preservation at the transformation level for relational model transformation", Software & Systems Modeling, 2018. [bibtex] [url]
Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sebastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer, "Towards a Body of Knowledge for Model-based Software Engineering", in Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS '18, pp. 82–89, New York, NY, USA: ACM, 2018. [bibtex] [url]
Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sebastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer, "How Do We Teach Modelling and Model-driven Engineering?: A Survey", in Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS '18, pp. 122–129, New York, NY, USA: ACM, 2018. [bibtex] [url]
2017
Sven Schneider, Leen Lambers and Fernando Orejas, "Symbolic Model Generation for Graph Properties", Technical Report 115, Hasso Plattner Institute at the University of Potsdam: Potsdam, Germany, 2017. [bibtex] [url]
Sven Schneider, Leen Lambers and Fernando Orejas, "Symbolic Model Generation for Graph Properties", in Marieke Huisman, Julia Rubin, Eds., Proc. Fundamental Approaches to Software Engineering (FASE'17), Lecture Notes in Computer Science, pp. 226-243, Uppsala, Sweden: Springer, 2017. [bibtex] [url]
Johannes Dyck, Holger Giese and Leen Lambers, "Automatic Verification of Behavior Preservation at the Transformation Level for Relational Model Transformation", Technical Report 112, Hasso Plattner Institute, University of Potsdam, 2017. [bibtex] [url]
Kristopher Born, Leen Lambers, Daniel Strüber, Gabriele Taentzer, "Granularity of Conflicts and Dependencies in Graph Transformation Systems", in Juan de Lara, Detlef Plump, Eds., International Conference on Graph Transformation (ICGT), Lecture Notes in Computer Science, pp. 125-141, Springer International Publishing, 2017, Extended version: https://www.uni-marburg.de/fb12/arbeitsgruppen/swt/forschung/publikationen/2017/BLST17-EV.pdf. [bibtex] [url]
2016
Holger Giese and Leen Lambers, "Invariant Checking for Graph Transformation: Applications & Open Challenges (Abstract)", in Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis, Eds., Verification of Evolving Graph Structures, Dagstuhl, Germany, vol. 5 of Dagstuhl Reports, pp. 11-11, Dagstuhl, Germany: Dagstuhl Publishing, March 2016. [bibtex] [url]
Marisa Navarro, Elvira Pino, Fernando Orejas, Leen Lambers, "A Logic of Graph Conditions Extended with Paths", in 7th Int. Workshop on Graph Computation Models, 2016, Pre-proceedings. [bibtex] [url]
Levi L'ucio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer, "Model transformation intents and their properties", Software and System Modeling, vol. 15, no. 3, pp. 647–684, 2016. [bibtex] [url]
Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers, "On the Operationalization of Graph Queries with Generalized Discrimination Networks", Technical Report 106, Hasso Plattner Institute at the University of Potsdam, 2016. [bibtex] [url]
Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers, "On the Operationalization of Graph Queries with Generalized Discrimination Networks", in Rachid Echahed, Mark Minas, Eds., Proceedings of the $9^th$ International Conference on Graph Transformations, pp. 170–186, Springer, 2016. [bibtex]
2015
Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner, "Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations", in Fourth Workshop on the Analysis of Model Transformations, CEUR Workshop Proceedings, 2015. [bibtex] [url]
2014
Leen Lambers and Fernando Orejas, "Tableau-Based Reasoning for Graph Properties", in Holger Giese, Barbara König, Eds., Graph Transformation, vol. 8571 of Lecture Notes in Computer Science, pp. 17-32, Springer International Publishing, 2014. [bibtex] [url]
Holger Giese, Stephan Hildebrandt and Leen Lambers, "Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars - Ensuring Conformance of Relational Model Transformation Specifications and Implementations", Software and Systems Modeling, vol. 13, no. 1, pp. 273-299, 2014. [bibtex] [url]
Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas, "M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation", Mathematical Structures in Computer Science, vol. 24, 2014. [bibtex] [url]
2013
Stephan Hildebrandt, Leen Lambers and Holger Giese, "Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations", in Keith Duddy, Gerti Kappel, Eds., Theory and Practice of Model Transformations, vol. 7909 of Lecture Notes in Computer Science, pp. 174-188, Springer Berlin Heidelberg, 2013. [bibtex] [url]
Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, Andy Schürr, "A Survey of Triple Graph Grammar Tools", in Bidirectional Transformations, vol. 57, pp. 1-18, EC-EASST, 2013. [bibtex] [url]
2012
Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt, "Graph Transformations for MDE, Adaptation, and Models at Runtime", in Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio, Eds., Formal Methods for Model-Driven Engineering, vol. 7320 of Lecture Notes in Computer Science (LNCS), pp. 137-191, Springer Berlin / Heidelberg, June 2012. [bibtex] [url]
Fernando Orejas and Leen Lambers, "Lazy Graph Transformation", Fundamenta Informaticae, vol. 118, no. 1-2, pp. 65-96, 2012. [bibtex]
Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas, "Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case", in Frank Hermann, Janis Voigtländer, Eds., Proceedings of the First International Workshop on Bidirectional Transformations, vol. 49, pp. 1-16, EC-EASST, 2012. [bibtex] [url]
Stephan Hildebrandt, Leen Lambers and Holger Giese, "The MDELab Tool Framework for the Development of Correct Model Transformations with Triple Graph Grammars", in Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, Eds., MoDELS Workshop on Analysis of Model Transformation, pp. 33-34, ACM, 2012. [bibtex]
Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter, "Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations", in Andy Schürr, Daniel Varró, Gergely Varró, Eds., Applications of graph Transformation with Industrial Relevance, 4th International Symposium, (AGTIVE 2011), vol. 7233 of LNCS, pp. 238-253, Springer, 2012. [bibtex]
Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese, "Integration of Triple Graph Grammars and Constraints", in Christian Krause, Bernhard Westfechtel, Eds., Proceedings of the 7th International Workshop on Graph Based Tools (GraBaTs 2012), vol. 52, pp. 1-12, EC-EASST, 2012. [bibtex] [url]
Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas, "Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs", Theoretical Computer Science, vol. 424, pp. 46 - 68, 2012. [bibtex]
Andrew Fish, Leen Lambers, Eds., Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2012), vol. 47 of EC-EASST, 2012. [bibtex] [url]
Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese, "Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements", in Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, Eds., Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), vol. 7562 of LNCS, pp. 141-155, Springer, 2012. [bibtex]
Holger Giese and Leen Lambers, "Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking", in Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, Eds., Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), vol. 7562 of LNCS, pp. 249-263, Springer, 2012. [bibtex] [url]
Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas, "M-Adhesive Transformation Systems with Nested Application Conditions, Part 2: Embedding, Critical Pairs and Local Confluence", Fundamenta Informaticae, vol. 118, no. 1-2, pp. 35-63, 2012. [bibtex]
Moussa Amrani, Juergen Dingel, Leen Lambers, Levi Lúcio, Gehan Selim, Eugene Syriani, Manuel Wimmer, "Towards a Model Transformation Intent Catalog", in Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, Eds., MoDELS Workshop on Analysis of Model Transformation, pp. 3-8, ACM, 2012. [bibtex] [url]
2011
Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer, "Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior", Technical Report 2011/2, TU Berlin, 2011. [bibtex] [url]
Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer, "Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior", in Dimitra Giannakopoulou, Fernando Orejas, Eds., Fundamental Approaches to Software Engineering, vol. 6603 of Lecture Notes in Computer Science, pp. 156-170, Springer Berlin / Heidelberg, 2011. [bibtex] [url]
Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese, "Iterative Development of Consistency-Preserving Rule-Based Refactorings", in Jordi Cabot, Eelco Visser, Eds., Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, vol. 6707 of Lecture Notes in Computer Science, pp. 123-137, Springer / Heidelberg, 2011. [bibtex] [url]
2010
Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer, "Introduction to AGG and EMF Tiger by Modeling a Conference Scheduling System", Software Tools for Technology Transfer, vol. 12, no. 3-4, pp. 245-261, July 2010. [bibtex] [url]
Fernando Orejas and Leen Lambers, "Symbolic Attributed Graphs for Attributed Graph Transformation", in Graph and Model Transformation 2010, vol. 30, EC-EASST, 2010. [bibtex] [url]
Fernando Orejas and Leen Lambers, "Delaying Constraint Solving in Symbolic Graph Transformation", in Proceedings of Intern. Conf. on Graph Transformation ( ICGT' 10), vol. 6372 of LNCS, pp. 43-58, Springer, 2010. [bibtex] [url]
Leen Lambers, "Certifying Rule-Based Models using Graph Transformation", Ph.D. dissertation, Technische Universität Berlin, 2010, Also as book available: Südwestdeutscher Verlag für Hochschulschriften ISBN: 978-3-8381-1650-1. [bibtex] [url]
Leen Lambers, Hartmut Ehrig, Annegret Habel, Fernando Orejas, Ulrike Golas, "Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion", Technical Report 2010-7, Technische Universität Berlin, 2010. [bibtex] [url]
Holger Giese, Stephan Hildebrandt and Leen Lambers, "Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars", in Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering Verification and Validation, pp. 19-24, Oslo, Norway: IEEE Computer Society, 2010. [bibtex]
Holger Giese, Stephan Hildebrandt and Leen Lambers, "Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars", Technical Report 37, Hasso Plattner Institute at the University of Potsdam, 2010. [bibtex] [url]
Hartmut Ehrig, Annegret Habel and Leen Lambers, "Parallelism and Concurrency Theorems for Rules with Nested Application Conditions", in Festschrift dedicated to Hans-Jorg Kreowski at the Occasion of his 60th Birthday, vol. 26, EC-EASST, 2010. [bibtex] [url]
Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas, "Local Confluence for Rules with Nested Application Conditions", in Proceedings of Intern. Conf. on Graph Transformation (ICGT' 10), vol. 6372 of LNCS, pp. 330-345, Springer, 2010. [bibtex] [url]
2009
Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse, "Object Flow Definition for Refined Activity Diagrams: Long Version", Technical Report 2009-1, Technische Universitat Berlin, 2009. [bibtex] [url]
Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse, "Object Flow Definition for Refined Activity Diagrams", in Marsha Chechik, Martin Wirsing, Eds., Proc. Fundamental Approaches to Software Engineering (FASE'09), vol. 5503 of Lecture Notes in Computer Science, pp. 49 – 63, York, UK: Springer, 2009. [bibtex]
2008
Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, "Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams", in Proc. 11th Int. Conf. on Model Driven Engineering Languages and System MoDELS08, vol. 5301 of Lecture Notes in Computer Science, pp. 341-355, Toulouse, France: Springer, October 2008. [bibtex]
Leen Lambers, Hartmut Ehrig and Fernando Orejas, "Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs", in Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'06), vol. 211 of Electronic Notes in Theoretical Computer Science, pp. 17–26, Vienna, Austria: Elsevier Science, April 2008. [bibtex]
Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg, "Negative Application Conditions for Reconfigurable Place/Transition Systems", in J. de Lara C. Ermel, Reiko Heckel, Eds., Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08), vol. 10, Budapest, Hungary: Electronic Communications of the EASST, 2008. [bibtex] [url]
Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan, "Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts", Technical Report 2008-12, Technische Universitat Berlin, 2008. [bibtex] [url]
Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan, "Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts", in Proc. International Conference on Graph Transformation (ICGT'08), vol. 5214 of Lecture Notes in Computer Science, pp. 242–256, Heidelberg: Springer, 2008. [bibtex]
Ulrike Prange, Hartmut Ehrig and Leen Lambers, "Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories", Applied Categorical Structures, vol. 16, no. 3, pp. 365–388, 2008. [bibtex] [url]
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè, "A Formal Framework for Developing Adaptable Service-Based Applications", in Jose Luiz Fiadeiro, Paola Inverardi, Eds., Proc. Fundamental Approaches to Software Engineering (FASE'08), vol. 4961 of Lecture Notes in Computer Science, pp. 392–406, Springer Berlin / Heidelberg, 2008. [bibtex] [url]
Leen Lambers, Stefan Jurack, Katharina Mehner, Olga Runge, Gabriele Taentzer, "Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version", Technical Report 2008-11, Technische Universitat Berlin, 2008. [bibtex] [url]
Leen Lambers, Hartmut Ehrig and Gabriele Taentzer, "Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences", Technical Report 2008-2, Technische Universitat Berlin, 2008. [bibtex] [url]
Leen Lambers, Hartmut Ehrig and Gabriele Taentzer, "Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences", in J. de Lara C. Ermel, Reiko Heckel, Eds., Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08), vol. 10, Budapest, Hungary: Electronic Communications of the EASST, 2008. [bibtex] [url]
Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas, "Embedding and Confluence of Graph Transformations with Negative Application Conditions", in H. Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer, Eds., Proc. International Conference on Graph Transformation (ICGT'08), vol. 5214 of Lecture Notes in Computer Science, pp. 162–177, Heidelberg: Springer, 2008. [bibtex]
Leen Lambers, Hartmut Ehrig, Fernando Orejas, Ulrike Prange, "Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions", in H. Ehrig, J. Pfalzgraf, Ulrike Prange, Eds., Proceedings of the ACCAT workshop at ETAPS 2007, vol. 203 / 6 of Electronic Notes in Theoretical Computer Science, pp. 43–66, Elsevier, 2008. [bibtex]
2007
Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè, "Iterative model-driven development of adaptable service-based applications", in ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, pp. 453–456, New York, NY, USA: ACM, 2007. [bibtex]
Leen Lambers, "Adhesive High-Level Replacement Systems with Negative Application Conditions", Technical Report 2007-14, Technische Universitat Berlin, 2007. [bibtex] [url]
2006
Leen Lambers, Hartmut Ehrig and Fernando Orejas, "Conflict Detection for Graph Transformation with Negative Application Conditions", in Proc. Third International Conference on Graph Transformation (ICGT'06), vol. 4178 of Lecture Notes in Computer Science, pp. 61–76, Natal, Brazil: Springer, September 2006. [bibtex]
Leen Lambers, Hartmut Ehrig and Fernando Orejas, "Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs", Technical Report 2006-07, Technische Universitat Berlin, 2006. [bibtex] [url]
2005
Leen Lambers, Hartmut Ehrig and Fernando Orejas, "Efficient Detection of Conflicts in Graph-Based Model Transformation", in Proc. International Workshop on Graph and Model Transformation (GraMoT'05), vol. 152 of Electronic Notes in Theoretical Computer Science, pp. 97–109, Tallinn, Estonia: Elsevier Science, September 2005. [bibtex]
2004
Leen Lambers, "A New Version of GTXL: An Exchange Format for Graph Transformation Systems", in Tom Mens, Andy Schürr, Gabriele Taentzer, Eds., Proc. Workshop on Graph-Based Tools (GraBaTs'04), Satellite Event of ICGT'04, vol. 127 of Electronic Notes in Theoretical Computer Science, pp. 51–63, Rom, Italy: Elsevier Science, 2004. [bibtex]
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser