MURANO, Aniello
MURANO, Aniello
Dipartimento di Scienze Aziendali - Management & Innovation Systems/DISA-MIS
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Sketch-Based System for Teaching Geometry | 1-gen-2011 | Costagliola, Gennaro; Salvatore, Cuomo; Fuccella, Vittorio; Murano, Aniello | |
Model-checking graded computation-tree logic with finite path semantics | 1-gen-2020 | Murano, Aniello; Parente, Mimmo; Rubin, Sasha; Sorrentino, Loredana |