Graph Automata and Their Application to the Verification of Dynamic ...
Reference
Christoph Blume. Graph automata and their application to the verification of dynamic systems. PhD thesis, University of Duisburg-Essen, 2014.
Suggested BibTeX entry:
@phdthesis{b14,
author = {Christoph Blume},
school = {University of Duisburg-Essen},
title = {Graph Automata and Their Application to the Verification of Dynamic Systems},
year = {2014}
}
