Benerecetti, Massimo
Model checking multiagent systems : tesi per il conseguimento del titolo di dottore di ricerca in ingegneria elettronica ed informatica / Massimo Benerecetti ; relatori: Mauro Di Manzo, Fausto Giunchiglia ; Università di Genova, Facoltà di ingegneria, DIST, Dipartimento informatica sistemistica telematica
[S.l.] : [S.n.], 1999
1 v
11. ciclo
BN 2000-2642T
Di_Manzo, Mauro
Giunchiglia, Fausto
Università degli studi<Genova>: Dipartimento di informatica, sistemistica e telematica
K04X - AUTOMATICA


Tesi di dottorato. | Lingua: Italiano. | Paese: IT. | BID: TSI9902716
Biblioteca Inventario Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TVD989902716 TDR 1999 002716 Lettura tesi in sede
Documenti simili