Carotenuto, Dario
(2008)
Formal verification of infinite states and concurrent systems.
[Tesi di dottorato]
(Inedito)
![[img]](http://www.fedoa.unina.it/style/images/fileicons/application_pdf.png) |
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 |
[error in script]
[error in script]
| 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 |
