search result

Cover von Graph Transformation
11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10887
Media group: MONOGRAPHIE
Cover von Fundamental Approaches to Software Engineering
26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22 - 27, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13991
Media group: MONOGRAPHIE
Cover von -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

article
Year: 2014
Media group: ARTICLE
Cover von Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions

Author: Orejas, Fernando
Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0