Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014 / Adriano, Peron; Piazza, Carla. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - ELETTRONICO. - 161(2014), pp. 1-1.
Titolo: | Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014 |
Autori: | |
Data di pubblicazione: | 2014 |
Rivista: | |
Handle: | http://hdl.handle.net/11390/1032555 |
Appare nelle tipologie: | 7.1 Curatela |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
EPTCSb.pdf | Prefazione dei Proceedings | Versione Editoriale (PDF) | ![]() | Open Access Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.