A Logic-Based Incremental Approach to Graph Repair

Sven Schneider, Leen Lambers, Fernando Orejas. A Logic-Based Incremental Approach to Graph Repair. In Reiner Hähnle, Wil M. P. van der Aalst, editors, 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. Volume 11424 of Lecture Notes in Computer Science, pages 151-167, Springer, 2019. [doi]

Authors

Sven Schneider

This author has not been identified. Look up 'Sven Schneider' in Google

Leen Lambers

This author has not been identified. Look up 'Leen Lambers' in Google

Fernando Orejas

This author has not been identified. Look up 'Fernando Orejas' in Google