✦ LIBER ✦

Model Checking for Combined Logics with an Application to Mobile Systems

✍ Scribed by Massimo Franceschet; Angelo Montanari; Maarten de Rijke

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

An algorithm for approximate membership

✍ Udi Manber; Sun Wu 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 706 KB

A model for analysis of multivariable sy

✍ Basil K. Papadopoulos; Trisevgeni Yiannakopoulou; Nicholas Elias 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 973 KB

An adaptive coding scheme with code comb

✍ Deng, R.H.; Hong Zhou 📂 Article 📅 1993 🏛 IEEE 🌐 English ⚖ 857 KB

Uniform Asymptotic Stability of Nonlinea

✍ Lee, T.C.; Jiang, Z.P. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 710 KB

An Algorithm for Inferring Multivalued D

✍ Sagiv, Yehoshua 📂 Article 📅 1980 🏛 Association for Computing Machinery 🌐 English ⚖ 871 KB