Details for the publication KieferW21.

Stefan Kiefer, Cas Widdershoven: Image-Binary Automata. In 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, 2021. DOI BIB