Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification
Jean-Francois Raskin
◽
Davide Bresolin
2015 ◽
Vol 27
(2)
◽
pp. 897-900
Saibal Gupta
◽
Stijn Glorie
2011 ◽
Vol 30
(1)
◽
pp. 233-233
Alessandro Artusi
◽
Morwena Joly
◽
Geneviève Lucet
◽
Alejandro Ribes
◽
Denis Pitzalis
1984 ◽
Vol 14
(3-4)
◽
pp. 341
2017 ◽
Vol 120
◽
pp. 207-208
Jaehoon Kim
◽
Youn-Woo Lee
◽
Tadafumi Adschiri
◽
Yan-Ping Chen
◽
Motonobu Goto
◽
...
2018 ◽
Vol 1057
◽
pp. 011001