Carotenuto, Dario
(2008)
Formal verification of infinite states and concurrent systems.
[Tesi di dottorato]
(Unpublished)
![[img]](http://www.fedoa.unina.it/style/images/fileicons/application_pdf.png) |
PDF
Carotenuto_Scienze_Computazionali.pdf
Visibile a [TBR] Repository staff only
Download (1MB)
|
| Item Type: |
Tesi di dottorato
|
| Language: |
English |
| Title: |
Formal verification of infinite states and concurrent systems |
| Creators: |
| Creators | Email |
|---|
| Carotenuto, Dario | UNSPECIFIED |
|
| Date: |
2008 |
| Date Type: |
Publication |
| Number of Pages: |
122 |
| Institution: |
Università degli Studi di Napoli Federico II |
| Department: |
Matematica e applicazioni "Renato Caccioppoli" |
| PHD name: |
Scienze computazionali e informatiche |
| PHD cycle: |
20 |
| PHD Coordinator: |
| name | email |
|---|
| De Luca, Aldo | UNSPECIFIED |
|
| Tutor: |
| name | email |
|---|
| De Luca, Aldo | UNSPECIFIED |
|
| Date: |
2008 |
| Number of Pages: |
122 |
| MIUR S.S.D.: |
Area 01 - Scienze matematiche e informatiche > INF/01 - Informatica |
| Date Deposited: |
29 Jul 2008 |
| Last Modified: |
30 Apr 2014 19:29 |
| URI: |
http://www.fedoa.unina.it/id/eprint/2168 |
Actions (login required)
 |
View Item |
