✦ LIBER ✦

Hardness of equivalence checking for composed finite-state systems

✍ Scribed by Zdeněk Sawa; Petr Jančar

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Systems || Model Checking of F

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 259 KB 👁 1 views

New state standard for methods and means

✍ O. M. Kochin; N. S. Gusyatinskaya 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 176 KB

Automated systems for checking the state

✍ D. B. Radkevich; V. Z. Kheifits 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 502 KB

Check words for the states of a finite a

✍ S. M. Gobershtein 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 355 KB

Decidability of model checking for infin

✍ Javier Esparza 📂 Article 📅 1997 🏛 Springer-Verlag 🌐 English ⚖ 223 KB

Equation of state for systems of hard no

✍ G.A. Few; M. Rigby 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 304 KB