Applying the Graph Minor Theorem to the Verification of Graph ...
Reference
Salil Joshi and Barbara König. Applying the graph minor theorem to the verification of graph transformation systems. Technical Report 2012-01, Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, 2012.
Suggested BibTeX entry:
@techreport{JK12,
author = {Salil Joshi and Barbara K{\"o}nig},
institution = {Abteilung f{\"ur} Informatik und Angewandte Kognitionswissenschaft, Universit{\"a}t Duisburg-Essen},
number = {2012-01},
title = {Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems},
year = {2012}
}
