Veröffentlichungen
Autoren:
Daniele Dell'Erba; Sven Schewe
Veröffentlicht in:
Smaller progress measures and separating automata for parity games, Ausgabe 4, 2022, ISSN 2624-9898
Herausgeber:
Frontiers Media SA
DOI:
10.3389/fcomp.2022.936903
Autoren:
D. Dell’Erba, A. Dumas, and S. Schewe
Veröffentlicht in:
International Symposium on Games, Automata, Logics and Formal Verification 2023, 2023
Herausgeber:
Open Publishing Association
Autoren:
M. Benerecetti, D. Dell’Erba, M. Faella, and F. Mogavero
Veröffentlicht in:
Lecture Note Series, 2023
Herausgeber:
World Scientific Publishing Company
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor