✦ LIBER ✦

An approach to checking the composition of controlling automata

✍ Scribed by V. V. Brovarnik

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Automata-Theoretic Approach to the Re

✍ A. Labroue; Ph. Schnoebelen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 515 KB

An ω-Automata Approach to the Compressio

✍ YIH-KAI LIN; HSU-CHUN YEN 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 861 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

Measure theoretic approach to the classi

✍ Shin'ichirou Ishii 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 934 KB

An approach to define the effective lath

✍ Kangying Zhu; Olivier Bouaziz; Carla Oberbillig; Mingxin Huang 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 727 KB