2. Docenti
  3. LA TORRE Salvatore
  4. Ricerca
  5. Pubblicazioni

Pubblicazioni

Salvatore LA TORRE Pubblicazioni


2011
Curatela
Curatore/i di Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011. Electronic Proceedings in Theoretical Computer Science. Di Giovanna, D'Agostino; LA TORRE, SalvatoreVol. 54.
Giovanna, D'Agostino; LA TORRE, Salvatore
Digital Object Identifier (DOI): 10.4204/EPTCS.54
Codice identificativo SCOPUS: 2-s2.0-85048471157
Visualizza sul Database dei Prodotti (IRIS)