Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2013 | |
| Contributo in Atti di convegno | |
| Modular Synthesis with Open Components Reachability Problems. In: Proc. of the 7th International Workshop on Reachability Problems, RP 2013 Sringer Vol.8169, Pag.96-108 ISBN:9783642410369 | |
| 7th International Workshop on Reachability Problems, RP 2013 Uppsala, Sweden September 24-26, 2013 | |
| DE CRESCENZO, Ilaria; LA TORRE, Salvatore | |
| Digital Object Identifier (DOI): 10.1007/978-3-642-41036-9_10 Codice identificativo ISI: WOS:000329203100010 Codice identificativo SCOPUS: 2-s2.0-84886436397 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 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) |
