Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification
Home
Publications
Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification
Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification
PG
Pierre Ganty
Pierre Ganty
DB
Davide Bresolin
Davide Bresolin
Publisher Website
Google Scholar
Cite
Download
Share
Download
16 September 2021
journal article
Published by
Open Publishing Association
in
Electronic Proceedings in Theoretical Computer Science
Vol. 346
https://doi.org/10.4204/eptcs.346.0
Abstract
No abstract available