✦ LIBER ✦

Applying model-checking to solve queries on semistructured data

✍ Scribed by A. Dovier; E. Quintarelli

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking hybrid logics (with an ap

✍ Massimo Franceschet; Maarten de Rijke 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 259 KB

Applying a Hypoxia-Incorporating TCP Mod

✍ Ruggieri, Ruggero; Stavreva, Nadejda; Naccarato, Stefania; Stavrev, Pavel 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 367 KB

Sixth international symposium on applied

📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 119 KB

A Model to Study the Bias on Q Estimates

✍ S. de Lorenzo 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 238 KB

Sixth International Symposium on Applied

📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 51 KB

[IEEE 2007 IEEE 23rd International Confe

✍ Reith, Mark; Niu, Jianwei; Winsborough, William H. 📂 Article 📅 2007 🏛 IEEE ⚖ 251 KB