Galina Jirásková. Self-Verifying Finite Automata and Descriptional Complexity. Cezar Câmpeanu; Florin Manea; Jeffrey Shallit. 18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. Springer Internat
HAL Archives-Ouvertes,
Galina Jirásková. Self-Verifying Finite Automata and Descriptional Complexity. Cezar Câmpeanu; Florin Manea; Jeffrey Shallit.