✦ LIBER ✦

Efficient reduction of finite state model checking to reachability analysis

✍ Scribed by Viktor Schuppan; Armin Biere

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new efficient approach to the formulat

✍ S. W. Lee; J. J. Rhiu 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 837 KB

Numerical analysis of state of stress of

✍ Ya. M. Grigorenko; S. S. Kokoshin 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 320 KB