✦ LIBER ✦

On the specification of automata by means of a microprogram

✍ Scribed by A. T. Mishchenko

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Specification of Higher Dimension

✍ Richard Buckland; Michael Johnson; Dominic Verity 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 873 KB

Abstract synthesis of multiregister auto

✍ E. P. Bashlakov 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 339 KB

On an approach to functional specificati

✍ A. N. Chebotarev 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 874 KB

On an approach to functional specificati

✍ A. N. Chebotarev 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 698 KB

A simple linearization of the self-shrin

✍ Amparo Fúster-Sabater; M. Eugenia Pazo-Robles; Pino Caballero-Gil 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 680 KB

A note on the verification of automata s

✍ Arnaldo V. Moura; Guilherme A. Pinto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 95 KB