✦ LIBER ✦

The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments

✍ Scribed by Michael Bauland; Martin Mundhenk; Thomas Schneider; Henning Schnoor; Ilka Schnoor; Heribert Vollmer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-driven development: The good, the

✍ Hailpern, B.; Tarr, P. 📂 Article 📅 2006 🏛 IBM 🌐 English ⚖ 140 KB

The Good, the Bad, and the Ugly of Sunsc

✍ Berwick, M 📂 Article 📅 2011 🏛 Nature Publishing Group 🌐 English ⚖ 188 KB

Lichen Photomorphs: The Good, the Bad, a

✍ Jack R. Laundon 📂 Article 📅 1996 🏛 International Association for Plant Taxonomy 🌐 English ⚖ 178 KB

Testing for Food Reactions: The Good, th

✍ Mullin, G. E.; Swift, K. M.; Lipski, L.; Turnbull, L. K.; Rampertab, S. D. 📂 Article 📅 2010 🏛 Sage Publications 🌐 English ⚖ 302 KB

Opioids for Intractable Pain: The Good,

✍ Rollin M. Gallagher 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 42 KB

The Effective Potential in Device Modeli

✍ D.K. Ferry; S. Ramey; L. Shifren; R. Akis 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 208 KB