Concise Representations of Reversible Automata

Giovanna J. Lavado, Luca Prigioniero. Concise Representations of Reversible Automata. In Giovanni Pighizzini, Cezar Câmpeanu, editors, Descriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings. Volume 10316 of Lecture Notes in Computer Science, pages 238-249, Springer, 2017. [doi]

Abstract

Abstract is missing.