Carotenuto, Dario (2008) Formal verification of infinite states and concurrent systems. [Tesi di dottorato] (Inedito)
![[thumbnail of Carotenuto_Scienze_Computazionali.pdf]](http://www.fedoa.unina.it/style/images/fileicons/application_pdf.png "Carotenuto_Scienze_Computazionali.pdf") |
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: | Autore Email 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: | nome email De Luca, Aldo [non definito] |
| Tutor: | nome email 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 |
Downloads
Downloads per month over past year
Actions (login required)
 |
Modifica documento |
