Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2013 | |
| Curatela | |
| Curatore/i di Games, Automata, Logic, and Formal Verification (GandALF 2011). Di D'Agostino, Giovanna; LA TORRE, SalvatoreVol. 493. Pag.1-1 | |
| D'Agostino, Giovanna; LA TORRE, Salvatore | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2013.05.029 Codice identificativo ISI: WOS:000321410000001 Codice identificativo SCOPUS: 2-s2.0-84879217202 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 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) |
