CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Veröffentlichungen
Autoren:
Lijzenga, Oebele; van Dijk, Tom; Raskin, Jean-Francois; Bresolin, Davide
Veröffentlicht in:
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, Ausgabe 1, 2020, Seite(n) 18-32
Herausgeber:
EPTCS
DOI:
10.48550/arxiv.2009.10876
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor