✦ LIBER ✦

On the verification of sequential machines at differing levels of abstraction

✍ Scribed by Devadas, S.; Ma, H.-K.T.; Newton, A.R.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the verification of sequential equiva

✍ Jiang, J.-H.R.; Brayton, R.K. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 838 KB

On the Analysis of Sequential Machines

✍ Gillespie, R. G. ;Aufenkamp, D. D. 📂 Article 📅 1958 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 594 KB

On the semigroups of linear sequential m

✍ Yechezkel Zalcstein 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 214 KB

On the synthesis of finite sequential ma

✍ Srinivasan, C. V. ;Narasimhan, R. 📂 Article 📅 1959 🏛 Springer-Verlag 🌐 English ⚖ 687 KB

On the Decomposition of Periodic Represe

✍ Grzymala-Busse, J.W. 📂 Article 📅 1971 🏛 IEEE 🌐 English ⚖ 974 KB

On the Uniqueness of Minimal-State Stoch

✍ Nieh, T.T. 📂 Article 📅 1970 🏛 IEEE 🌐 English ⚖ 833 KB