PALENA, MARCO

PALENA, MARCO  

031211  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Citazione Data di pubblicazione Autori File
Formal Property Verification / Fix, L., Mcmillan, K., Cabodi, G., Palena, M., Pasini, P., Ip, N., Haller, L. - In: Electronic Design Automation for Integrated Circuits Handbook[s.l] : CRC Press, 2026. - ISBN 9781003608721. - pp. 528-557 [10.1201/9781003608721-23] 1-gen-2026 Cabodi, GianpieroPalena, MarcoPasini, Paolo + Chapter_FormalPropVerif_Refer_v1_20_ed3.pdf