Verification of Well-Structured Graph Transformation Systems - Stückrath, Jan (Verfasser); König, Barbara (Akademischer Betreuer) (Universitätsbibliothek Duisburg-Essen, 2016)