Carotenuto, Dario (2008) Formal verification of infinite states and concurrent systems. [Tesi di dottorato] (Unpublished)
![]() |
PDF
Carotenuto_Scienze_Computazionali.pdf Visibile a [TBR] Repository staff only Download (1MB) |
Item Type: | Tesi di dottorato |
---|---|
Resource 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" |
Dottorato: | Scienze computazionali e informatiche |
Ciclo di dottorato: | 20 |
Coordinatore del Corso di dottorato: | nome email De Luca, Aldo UNSPECIFIED |
Tutor: | nome email De Luca, Aldo UNSPECIFIED |
Date: | 2008 |
Number of Pages: | 122 |
Settori scientifico-disciplinari del MIUR: | 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 |
Downloads
Downloads per month over past year
Actions (login required)
![]() |
View Item |