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

[img] 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:
CreatorsEmail
Carotenuto, DarioUNSPECIFIED
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:
nameemail
De Luca, AldoUNSPECIFIED
Tutor:
nameemail
De Luca, AldoUNSPECIFIED
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 View Item