✦ LIBER ✦

[IEEE Comput. Soc. Press European Design and Test Conference - Paris, France (11-14 March 1996)] Proceedings ED&TC European Design and Test Conference - Exploiting functional dependencies in finite state machine verification

✍ Scribed by Van Eijk, C.A.J.; Jess, J.A.G.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press European Design

✍ Sousa, J.T.; Shen, T.; Cheung, P.Y.K. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 92 KB

[IEEE Comput. Soc. Press European Design

✍ Luthi, E.; Casseau, E. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 548 KB

[IEEE Comput. Soc. Press European Design

✍ Coudert, O. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 540 KB

[IEEE Comput. Soc. Press European Design

✍ van Genderen, A.J.; van der Meijs, N.P.; Smedes, T. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 573 KB

[IEEE Comput. Soc. Press European Design

✍ Reeb, B.; Wunderlich, H.-J. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 705 KB

[IEEE Comput. Soc. Press European Design

✍ Pan, K.-R.R.; Pedram, M. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 127 KB