![](/img/cover-not-exists.png)
Games, Automata, Logics, and Formal Verification (GandALF 2013)
Montanari, Angelo, Puppis, Gabriele, Villa, TizianoVolume:
245
Language:
english
Journal:
Information and Computation
DOI:
10.1016/j.ic.2015.06.002
Date:
December, 2015
File:
PDF, 145 KB
english, 2015