1 Title

• 
   The document is publicly available

  Applying the graph minor theorem to the verification of graph transformation systems

  Joshi, Salil ; König, Barbara

  Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012