MPG.eBooks - Search Results - "graph transformation"

Cover Image

1

Graph Transformation : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Published 2019

Springer International Publishing

“...This book constitutes the refereed proceedings of the 12th International Conference on Graph...”

Cover Image

2

Fundamental Approaches to Software Engineering : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

Published 2021

Springer International Publishing

Table of Contents: “... of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating...”