✦ LIBER ✦

Comparing Under and Over-Approximations of LTL Properties for Model Checking

✍ Scribed by María del Mar Gallardo; Pedro Merino; Ernesto Pimentel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Criterion for Comparing Models Approxi

✍ G. A. Ivanov; I. A. Krivosheev 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 54 KB

A novel collaborative scheme of simulati

✍ Ming Zhu; Jinian Bian; Weimin Wu 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 458 KB

Headache pain model for assessing and co

✍ Schachtel, Bernard P; Thoden, William R; Konerman, James P; Brown, Ann; Chaing, 📂 Article 📅 1991 🏛 Nature Publishing Group 🌐 English ⚖ 1001 KB

Nonparametric test for checking lack of

✍ Lan Wang 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 French ⚖ 873 KB

Relativistic models for nuclear structur

✍ R. N. Schmid; E. Engel; R. M. Dreizler 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 698 KB

Analytical formulaes and comparative ana

✍ Alemdar Hasanov; Şafak Hasanoglu 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 208 KB