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:

[img]PDF - Solo per gli Amministratori dell'archivio - Richiede un editor Pdf del tipo GSview, Xpdf o Adobe Acrobat Reader
1339Kb

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 dottoratoe-mail (se nota)
De Luca, Aldo
Tutor della Scuola di dottorato:
Tutor del Corso di dottoratoe-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