ItalianoClear Cookie - decide language by browser settings
in titoli, abstract e parole chiave
Ricerca
Simple Search
Advanced Search
Ultime accessioni
Browse
Browse by Author
Browse by Subject
Browse by Year
Browse by Type
Browse by Accessibilità del full-text
Informazioni
Policy
About
FAQ
Contatti
[up] Up a level
Group by: Item Type | No Grouping
Number of items: 2.

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

Carotenuto, Dario, 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.

This list was generated on Wed Jun 10 14:33:53 2026 CEST.

fedOA is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility