CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Publications
Auteurs:
Daniele Dell'Erba; Sven Schewe
Publié dans:
Smaller progress measures and separating automata for parity games, Numéro 4, 2022, ISSN 2624-9898
Éditeur:
Frontiers Media SA
DOI:
10.3389/fcomp.2022.936903
Auteurs:
D. Dell’Erba, A. Dumas, and S. Schewe
Publié dans:
International Symposium on Games, Automata, Logics and Formal Verification 2023, 2023
Éditeur:
Open Publishing Association
Auteurs:
M. Benerecetti, D. Dell’Erba, M. Faella, and F. Mogavero
Publié dans:
Lecture Note Series, 2023
Éditeur:
World Scientific Publishing Company
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible