✦ LIBER ✦

Verification-oriented ROBDD operation design

✍ Scribed by He Xinhua; Lu Changling; Wei Daozheng

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Theory and verification of operator desi

✍ ZiYi Hu; Yong Zhao; XinAn Wang; Ru Huang; Teng Wang; Xing Zhang 📂 Article 📅 2012 🏛 Science in China Press (SCP) 🌐 English ⚖ 913 KB

Verification of design analysis conditio

✍ J.P. Hutin; H. Churier 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 504 KB

Verification of design rules for EUROFER

✍ R. Sunyk; J. Aktaa 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 254 KB

Computer-aided process design using Food

✍ H.A Diefes; M.R Okos; M.T Morgan 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 194 KB

Construction of operation platform for o

✍ Norio Kashima; Toshinao Kokubun; Yoshikazu Yamamoto 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 942 KB

Fluidized bed reactors operating with im

✍ A. Bódalo; J.L. Gómez; E. Gómez; J. Bastida; M.F. Máximo 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 866 KB