Applying the graph minor theorem to the verification of graph transformation systems / Salil Joshi ; Barbara König. Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012
