CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Lijzenga, Oebele; van Dijk, Tom; Raskin, Jean-Francois; Bresolin, Davide
Published in:
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, Issue 1, 2020, Page(s) 18-32
Publisher:
EPTCS
DOI:
10.48550/arxiv.2009.10876
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available