Blume, Christoph
-
Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium - Articles
Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.