"More on Deterministic and Nondeterministic Finite Cover Automata - ..."

Hermann Gruber, Markus Holzer, Sebastian Jakobi (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics