Hülsbusch, Mathias
- Towards Alternating Automata for Graph Languages
2015/11/03 by H. J. Sander Bruggink, Bruggink, H.J. Sander, Mathias Hülsbusch +3 · 1 citation
Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #semigroups and automata theory