Automata-Theoretic Methods Execution Protocol | Automata-Theoretic Methods | Theoretical Computer Science | NEROS