Bravetti, Mario
Specification and analysis of stochastic real-time systems : dottorato di ricerca in informatica / Mario Bravetti ; tutore: Roberto Gorrieri ; coordinatore: Özalp Babaoglu ; università di Bologna, Padova, Venezia
[S.l.] : [S.n.], 2002
1 v
Università degli studi di Bologna, Dipartimento di scienze dell'informazione; Università degli studi di Padova, Dipartimento di matematica pura ed applicata; Università degli studi di Venezia, Dipartimento di informatica
13. ciclo
BN 2003-2652T
Gorrieri, Roberto
Babaoglu, Özalp
Università degli studi<Bologna>: Dipartimento di scienze dell'informazione
Università degli studi<Padova>: Dipartimento di matematica pura ed applicata
Università degli studi<Venezia>: Dipartimento di informatica


Tesi di dottorato. | Lingua: Italiano. | Paese: IT. | BID: TSI0201938
Biblioteca Inventario Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TVD980201938 TDR 2002 01938 Lettura tesi in sede