View of Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems

Return to Article Details Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems Download Download PDF