Verification of Well-Structured Graph Transformation Systems
Reference
Jan Stückrath. Verification of well-structured graph transformation systems. PhD thesis, Universität Duisburg-Essen, 2016.
Suggested BibTeX entry:
@phdthesis{Stueckrath2016,
author = {Jan St{\"u}ckrath},
school = {Universit{\"a}t Duisburg-Essen},
title = {Verification of Well-Structured Graph Transformation Systems},
year = {2016}
}
