Cristin-person-ID: 1327413
Person

Tobias Werner John

  • Stilling:
    Stipendiat
    ved PROG Programmering ved Universitetet i Oslo

Resultater Resultater

Determinization and Limit-Determinization of Emerson-Lei Automata.

John, Tobias; Jantsch, Simon; Baier, Christel; Klüppelholz, Sascha. 2021, Lecture Notes in Computer Science (LNCS). TUDVitenskapelig artikkel
1 - 1 av 1