Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Lijzenga, Oebele; van Dijk, Tom; Raskin, Jean-Francois; Bresolin, Davide
Journal title: Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification
Journal number: 1
Journal publisher: EPTCS
Published year: 2020
Published pages: 18-32
DOI identifier: 10.48550/arxiv.2009.10876
Search
Associated projects
Organisations
- Not specified