Towards the Verification of Attributed Graph Transformation Systems
Reference
Barbara König and Vitali Kozioura. Towards the verification of attributed graph transformation systems. In Proc. of ICGT '08 (International Conference on Graph Transformation), pages 305–320. Springer, 2008. LNCS 5214.
Suggested BibTeX entry:
@inproceedings{KK08,
author = {Barbara K{\"o}nig and Vitali Kozioura},
booktitle = {Proc. of ICGT '08 (International Conference on Graph Transformation)},
note = {{LNCS} 5214},
pages = {305--320},
publisher = {Springer},
title = {Towards the Verification of Attributed Graph Transformation Systems},
year = {2008}
}
