Formal verification of infinite states and concurrent systems
Carotenuto, Dario (2008) Formal verification of infinite states and concurrent systems. [Tesi di dottorato] (Inedito) Full text disponibile come:
| Tipologia di documento: | Tesi di dottorato |
|---|
| Settori scientifico-disciplinari MIUR: | Area 01 Scienze matematiche e informatiche > INF/01 INFORMATICA |
|---|
| Coordinatori della Scuola di dottorato: | | Coordinatore del Corso di dottorato | e-mail (se nota) |
|---|
| De Luca, Aldo | |
|
|---|
| Tutor della Scuola di dottorato: | | Tutor del Corso di dottorato | e-mail (se nota) |
|---|
| De Luca, Aldo | |
|
|---|
| Stato del full text: | Inedito |
|---|
| Data: | 2008 |
|---|
| Numero di pagine: | 122 |
|---|
| Istituzione: | Università degli Studi di Napoli Federico II |
|---|
| Dipartimento o Struttura: | Matematica ed Applicazioni |
|---|
| Tipo di tesi: | Dottorato |
|---|
| Stato dell'Eprint: | Inedito |
|---|
| Denominazione del dottorato: | Scienze Computazionali ed Informatiche |
|---|
| Ciclo di dottorato: | XX |
|---|
| Numero di sistema: | 2168 |
|---|
| Depositato il: | 29 Luglio 2008 |
|---|
| Ultima modifica: | 04 Febbraio 2009 09:49 |
|---|
Solo per gli Amministratori dell'archivio: edita il record
|
![[img]](http://www.fedoa.unina.it/style/images/fileicons/application_pdf.png)
