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. In Proc. of CAV '08, pages 214–226. Springer, 2008. LNCS 5123.
Suggested BibTeX entry:
@inproceedings{JK08,
author = {Salil Joshi and Barbara K{\"o}nig},
booktitle = {Proc. of CAV '08},
note = {{LNCS} 5123},
pages = {214--226},
publisher = {Springer},
title = {Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems},
year = {2008}
}
