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

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)