Efficient Implementation of Automaton Functors for the Verification ...
Reference
Christoph Blume. Efficient implementation of automaton functors for the verification of graph transformation systems. In Proc. of ICGT '10 (International Conference on Graph Transformation), Proc. of the Doctoral Symposium. Electronic Communications of the EASST, 2010.
Suggested BibTeX entry:
@inproceedings{b10:EffImpAutoFunc,
author = {Christoph Blume},
booktitle = {Proc. of ICGT '10 (International Conference on Graph Transformation), Proc. of the Doctoral Symposium},
publisher = {Electronic Communications of the EASST},
title = {Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems},
year = {2010}
}
