✦ LIBER ✦

[IEEE Comput. Soc Seventh Asian Test Symposium (ATS'98) - Singapore (2-4 Dec. 1998)] Proceedings Seventh Asian Test Symposium (ATS'98) (Cat. No.98TB100259) - An efficient procedure for obtaining implication relations and its application to redundancy identification

✍ Scribed by Ichiahra, H.; Kajihara, S.; Kinoshita, K.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc Seventh Asian Test Sym

✍ Wenyi Feng, ; Wei Kang Huang, ; Meyer, F.J.; Lombardi, F. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 526 KB

[IEEE Comput. Soc Seventh Asian Test Sym

✍ Takahashi, H.; Boateng, K.O.; Takamatsu, Y. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 505 KB