@inproceedings{Joshi:2008:AGM:1427782.1427811,
    Address = {Berlin, Heidelberg},
    Author = {Joshi, Salil and K\"{o}nig, Barbara},
    BookTitle = {Proceedings of the 20th international conference on Computer Aided Verification},
    File = {Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems - Joshi, Konig (0) (0) - a - a - n.pdf},
    ISBN = {978-3-540-70543-7},
    Location = {Princeton, NJ, USA},
    Pages = {214--226},
    Publisher = {Springer-Verlag},
    Series = {CAV '08},
    Title = {Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems},
    URL = {http://dx.doi.org/10.1007/978-3-540-70545-1\_21},
    Year = {2008},
    acmid = {1427811},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-70545-1\_21},
    date-added = {2012-12-19 22:50:43 +0000},
    date-modified = {2012-12-19 22:50:43 +0000},
    file-2 = {Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems - Joshi, Konig (1) (0) - a - a - n.pdf},
    numpages = {13},
    doi = {10.1007/978-3-540-70545-1_21}
}

@inproceedings{Joshi:2008:AGM:1427782.1427811, Address = {Berlin, Heidelberg}, Author = {Joshi, Salil and K\"{o}nig, Barbara}, BookTitle = {Proceedings of the 20th international conference on Computer Aided Verification}, File = {Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems - Joshi, Konig (0) (0) - a - a - n.pdf}, ISBN = {978-3-540-70543-7}, Location = {Princeton, NJ, USA}, Pages = {214--226}, Publisher = {Springer-Verlag}, Series = {CAV '08}, Title = {Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems}, URL = {http://dx.doi.org/10.1007/978-3-540-70545-1_21}, Year = {2008}, acmid = {1427811}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-70545-1_21}, date-added = {2012-12-19 22:50:43 +0000}, date-modified = {2012-12-19 22:50:43 +0000}, file-2 = {Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems - Joshi, Konig (1) (0) - a - a - n.pdf}, numpages = {13}, doi = {10.1007/978-3-540-70545-1_21} }