Verification of Graph Transformation Systems with Context-Free ...
Reference
Barbara König and Javier Esparza. Verification of graph transformation systems with context-free specifications. In Proc. of ICGT '10 (International Conference on Graph Transformation), pages 107–122. Springer, 2010. LNCS 6372.
Suggested BibTeX entry:
@inproceedings{EK10,
author = {Barbara K{\"o}nig and Javier Esparza},
booktitle = {Proc. of ICGT '10 (International Conference on Graph Transformation)},
note = {{LNCS} 6372},
pages = {107--122},
publisher = {Springer},
title = {Verification of Graph Transformation Systems with Context-Free Specifications},
year = {2010}
}
