Gandalf 2014, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification / Peron, Adriano; Carla, Piazza. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - 161:(2014). [10.4204/EPTCS.161]
Gandalf 2014, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification
PERON, ADRIANO;
2014
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.