GUZMAN CANCIMANCE, MICHELL
GUZMAN CANCIMANCE, MICHELL
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo | Tipologia | Data di pubblicazione | Autori | File |
---|---|---|---|---|
TkT: Automatic Inference of Timed and Extended Pushdown Automata | 01 - Articolo su rivista | 2022 | Micucci, DanielaGuzman, MichellMariani, Leonardo + |