Carotenuto, Dario (2008) Formal verification of infinite states and concurrent systems. [Tesi di dottorato] (Inedito)

[img] PDF
Carotenuto_Scienze_Computazionali.pdf
Visibile a [TBR] Amministratori dell'archivio

Download (1MB)
Tipologia del documento: Tesi di dottorato
Lingua: English
Titolo: Formal verification of infinite states and concurrent systems
Autori:
AutoreEmail
Carotenuto, Dario[non definito]
Data: 2008
Tipo di data: Pubblicazione
Numero di pagine: 122
Istituzione: Università degli Studi di Napoli Federico II
Dipartimento: Matematica e applicazioni "Renato Caccioppoli"
Dottorato: Scienze computazionali e informatiche
Ciclo di dottorato: 20
Coordinatore del Corso di dottorato:
nomeemail
De Luca, Aldo[non definito]
Tutor:
nomeemail
De Luca, Aldo[non definito]
Data: 2008
Numero di pagine: 122
Settori scientifico-disciplinari del MIUR: Area 01 - Scienze matematiche e informatiche > INF/01 - Informatica
Depositato il: 29 Lug 2008
Ultima modifica: 30 Apr 2014 19:29
URI: http://www.fedoa.unina.it/id/eprint/2168

Actions (login required)

Modifica documento Modifica documento