|
||||||
|
||||||
|
||||||
|
|
||||||
Autore/Creatore: Carotenuto, DarioNumero di records: 2.
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. Carotenuto, Dario (2008) Formal verification of infinite states and concurrent systems. [Tesi di dottorato] (Inedito) |
