✦ LIBER ✦

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Global Optimization of Compositional Systems

✍ Scribed by Zaraket, Fadi; Pape, John; Aziz, Adnan; Jacome, Magarida; Khurshid, Sarfraz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Formal Methods in Computer Aided D

✍ Cohen, Ariel; O'Leary, John W.; Pnueli, Amir; Tuttle, Mark R.; Zuck, Lenore D. 📂 Article 📅 2007 🏛 IEEE ⚖ 237 KB

[IEEE Formal Methods in Computer Aided D

✍ Chen, Xiaofang; German, Steven M.; Gopalakrishnan, Ganesh 📂 Article 📅 2007 🏛 IEEE ⚖ 246 KB

[IEEE Formal Methods in Computer Aided D

✍ Rungta, Neha; Carroll, Hyrum; Mercer, Eric G; Roper, Randall J.; Clement, Mark; 📂 Article 📅 2007 🏛 IEEE ⚖ 216 KB

[IEEE 2009 Formal Methods in Computer-Ai

✍ Case, Michael L.; Mony, Hari; Baumgartner, Jason; Kanzelman, Robert 📂 Article 📅 2009 🏛 IEEE ⚖ 168 KB

[IEEE 2009 Formal Methods in Computer-Ai

✍ van den Broek, Tom; Schmaltz, Julien 📂 Article 📅 2009 🏛 IEEE ⚖ 106 KB

[IEEE 2009 Formal Methods in Computer-Ai

✍ Khasidashvili, Zurab; Kaiss, Daher; Bustan, Doron 📂 Article 📅 2009 🏛 IEEE ⚖ 243 KB