| |
| 1994 | ||
|---|---|---|
| 1 | G. Bezzi, Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Giuseppe Zaza: Quantitative Evaluation of Formal Based Synthesis in ASIC Design. TPCD 1994: 286-291 | |
| 1 | Massimo Bombana | [1] |
| 2 | Patrizia Cavalloro | [1] |
| 3 | Salvatore Conigliaro | [1] |
| 4 | Giuseppe Zaza | [1] |