Verification of Well-Structured Graph Transformation Systems

Jan Stückrath. Verification of Well-Structured Graph Transformation Systems. PhD thesis, University of Duisburg-Essen, 2016. [doi]

Abstract

Abstract is missing.