Search
Simple Search
Advanced Search
Latest Additions
Browse
Browse by Author
Browse by Subject
Browse by Year
Browse by Type
Info
Policy
About
FAQ
Contact us

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

[img] PDF
Carotenuto_Scienze_Computazionali.pdf
Restricted to Repository staff only
Download (1MB)
Item Type: Tesi di dottorato
Depositing User: Staff Staff
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

fedOA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.