Automata, Languages and Programming Automata, Languages and Programming
2011년
Models, Algorithms, Logics and Tools Models, Algorithms, Logics and Tools
2017년