Recognizable graph languages for the verification of dynamic systems
Reference
Christoph Blume. Recognizable graph languages for the verification of dynamic systems. In Proc. of ICGT '10 (International Conference on Graph Transformation), Proc. of the Doctoral Symposium. Springer, 2010.
Suggested BibTeX entry:
@inproceedings{b10:recVerification,
author = {Christoph Blume},
booktitle = {Proc. of ICGT '10 (International Conference on Graph Transformation), Proc. of the Doctoral Symposium},
publisher = {Springer},
title = {Recognizable graph languages for the verification of dynamic systems},
year = {2010}
}
