CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Publicaciones
Autores:
Daniele Dell'Erba; Sven Schewe
Publicado en:
Smaller progress measures and separating automata for parity games, Edición 4, 2022, ISSN 2624-9898
Editor:
Frontiers Media SA
DOI:
10.3389/fcomp.2022.936903
Autores:
D. Dell’Erba, A. Dumas, and S. Schewe
Publicado en:
International Symposium on Games, Automata, Logics and Formal Verification 2023, 2023
Editor:
Open Publishing Association
Autores:
M. Benerecetti, D. Dell’Erba, M. Faella, and F. Mogavero
Publicado en:
Lecture Note Series, 2023
Editor:
World Scientific Publishing Company
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles