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}
}



PDF (275 kB)
© University of Duisburg-Essen, Theoretical Computer Science group