Olaf Burkart, Yves-Marie Quemener. Model-checking of infinite graphs defined by graph grammars. Electronic Notes in Theoretical Computer Science, 5:16, 1996. [doi]
@article{BurkartQ96, title = {Model-checking of infinite graphs defined by graph grammars}, author = {Olaf Burkart and Yves-Marie Quemener}, year = {1996}, url = {http://www.elsevier.com/gej-ng/31/29/23/30/23/show/Products/notes/index.htt#005}, tags = {model checking, meta-model, graph-rewriting, Meta-Environment, rewriting, grammar}, researchr = {https://researchr.org/publication/BurkartQ96}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {5}, pages = {16}, }