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