VILLA, TIZIANO

VILLA, TIZIANO  

025594  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Citazione Data di pubblicazione Autori File
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package / Capogrosso, L; Geretti, L; Cristani, M; Fummi, F; Villa, T. - (2023), pp. 87-90. (Intervento presentato al convegno 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) tenutosi a Tallinn (EST) nel May 3-5, 2023) [10.1109/DDECS57882.2023.10139480]. 1-gen-2023 Capogrosso, LFummi, FVilla, T + HermesBDD_A_Multi-Core_and_Multi-Platform_Binary_Decision_Diagram_Package.pdf