Image-Binary Automata

Stefan Kiefer, Cas Widdershoven. Image-Binary Automata. In Yo-Sub Han, Sang-Ki Ko, editors, Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings. Volume 13037 of Lecture Notes in Computer Science, pages 176-187, Springer, 2021. [doi]

Abstract

Abstract is missing.