EnglishCancella i cookie per la scelta della lingua
in titoli, abstract e parole chiave
Ricerca
Ricerca semplice
Ricerca avanzata
Ultime accessioni
Scorri per
Autore
Settori scientifico-disciplinari
Anno
Tipologia prodotto
Accessibilità del full-text
Informazioni
Policy
Informazioni su fedOA
FAQ
Contatti
[up]
[pin missing: url][pin missing: url]
Esporta come [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Vai a: Tesi di dottorato | Contributo a Convegno o Workshop
Numero di documenti: 2.

Tesi di dottorato

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

Contributo a Convegno o Workshop

Carotenuto, Dario and Murano, Aniello and Peron, Adriano (2007) 2-Visibly Pushdown automata. In: 11th International Conference on Development in Language Theory (DLT'07), 3-6 luglio 2007., Turku, Finland.

Questa lista è stata generata il Wed Apr 30 09:25:36 2025 CEST.

Università di Napoli - Centro di Ateneo per le Biblioteche