✦ LIBER ✦

Automated systems for checking the state of dams

✍ Scribed by D. B. Radkevich; V. Z. Kheifits

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated system for checking the viscos

✍ S. A. Gol'tsov 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 191 KB

Hardness of equivalence checking for com

✍ Zdeněk Sawa; Petr Jančar 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 761 KB

Decidability of model checking for infin

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

Real-Time Systems || Model Checking of F

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

Prospects of using automated management

✍ N. G. Savchenkov; S. Ya. Lashchenov; V. V. Vil'vovskii; R. G. Erchikovskii 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 468 KB

Long-term service checking of the concre

✍ Z. L. Zelenevskii; V. V. Draginich; G. O. Draginich 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 381 KB