Original language | English |
---|---|
Journal | Electronic Proceedings in Theoretical Computer Science |
Volume | 277 |
Pages (from-to) | 147-160 |
Number of pages | 14 |
ISSN | 2075-2180 |
DOIs | |
Publication status | Published - 7 Sep 2018 |
Event | 9th Symposium on Games, Automata, Logics and Formal Verification - Saarbrüchen, Germany Duration: 26 Sep 2018 → 28 Sep 2018 Conference number: 9 |
Conference
Conference | 9th Symposium on Games, Automata, Logics and Formal Verification |
---|---|
Number | 9 |
Country | Germany |
City | Saarbrüchen |
Period | 26/09/2018 → 28/09/2018 |