PERILLO, PASQUALE

PERILLO, PASQUALE  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Towards a tool for LTL synthesis with bounded-energy constraints 4.1 Articoli in Atti di convegno 2019 Maubert, B.; Murano, A.; Perillo, P.; Rubin, S.; Spasiano, A.