2. Professors
  3. LA TORRE Salvatore
  4. Research
  5. Publications

Publications

Salvatore LA TORRE Publications


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
Show it in Product Database (IRIS)