Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification
2010 ◽
Vol 51
(5)
◽
pp. 688
2014 ◽
Vol 11
(1)
◽
pp. 1001-1004
◽
2011 ◽
Vol 52
(3)
◽
pp. 373
2001 ◽
Vol 20
(10)
◽
pp. 779-780