 | Torna al livello superiore |
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Numero di documenti: 2.
Carotenuto, Dario (2008) Formal verification of infinite states and concurrent systems. [Tesi di dottorato] (Inedito)
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.
