BUSSI, LAURA
BUSSI, LAURA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.002 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Towards model checking video streams using VoxLogicA on GPUs | 1-gen-2022 | Bussi L.; Ciancia V.; Gadducci F.; Latella D.; Massink M. |