Klarlund N, Mukund M, Sohoni M. Determinizing Asynchronous Automata on Infinite Inputs. BRICS [Internet]. 28. november 1995 [henvist 6. december 2025];2(58). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19959