## Salil Joshi, Barbara König

*Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems*

CAV, 2008.

@inproceedings{CAV-2008-JoshiK, author = "Salil Joshi and Barbara König", booktitle = "{Proceedings of the 20th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-540-70545-1_21", isbn = "978-3-540-70543-7", pages = "214--226", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems}", volume = 5123, year = 2008, }