✦ LIBER ✦

[IEEE Comput. Soc IEEE ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods - York, UK (4-6 Sept. 2000)] ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods - An animatable operational semantics of the Verilog hardware description language

✍ Scribed by Bowen, J.P.; He Jifeng, ; Xu Qiwen,

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc IEEE ICFEM 2000. Third

✍ Venkataraman, A.; Rangarajan, M.; Alexander, P. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 808 KB

[IEEE Comput. Soc IEEE ICFEM 2000. Third

✍ Jmaiel, M. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 819 KB