PASINI, PAOLO
PASINI, PAOLO
Dipartimento di Elettronica e Telecomunicazioni
030948
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.004 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 |