Model checking for the concurrent constraint paradigm : ph. d. thesis / candidate: Alicia Villanueva Garcia ; supervisor: Maria Alpuente Frasnedo, Moreno Falaschi
2005.
1 v.
In testa al front.: Università degli studi di Udine, Dipartimento di matematica e informatica, dottorato di ricerca in informatica
BN 2006-5789T
INF/01 - Informatica


Tesi di dottorato. | Lingua: Inglese. | Paese: IT. | BID: BNI0020406
Biblioteca Inventario Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TVD980508290 TDR 2005 08290 Lettura tesi in sede