Decision problems on tree automata and synthesis of open timed systems / Aniello Murano ; coordinatore: Alfredo De Santis ; relatori: Margherita Napoli, Salvatore La Torre
2002.
1 v.
In testa al front.: Dottorato di ricerca in informatica, 14. ciclo, Università di Salerno
BN 2004-1674T
INF/01 - Informatica


Tesi di dottorato. | Lingua: Inglese. | Paese: IT. | BID: BNI0004230
Biblioteca Inventario Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TVD980304218 TDR 2003 04218 Lettura tesi in sede