DCFS 2017

The paper “Concise Representations of Reversible Automata” has been accepted at the 19th International Conference on Descriptional Complexity of Formal Systems (DCFS 2017).