Pilati, Lorenzo

Pilati, Lorenzo  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo Data di pubblicazione Autore(i) File
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 1-gen-2022 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco