✦ LIBER ✦

The Complexity of Satisfiability for Fragments of CTL and CTL⋆

✍ Scribed by Arne Meier; Martin Mundhenk; Michael Thomas; Heribert Vollmer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness and Complexity of Multi-mod

✍ Thomas Ågotnes; Wiebe van der Hoek; Michael Wooldridge 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 338 KB

Improved Bounded Model Checking for the

✍ Liang Xu; Wei Chen; Yan-Yan Xu; Wen-Hui Zhang 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 515 KB

Cytotoxic T lymphocyte (CTL) adherence a

✍ Graham R. Leggatt; Martha A. Alexander-Miller; Anita Kumar (née Malik); Stephen 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 362 KB

Optimization of epicutaneous immunizatio

✍ Roopjeet Kahlon; Yuxiang Hu; Catherine H. Orteu; Arnawaz Kifayet; Jacqueline D. 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 260 KB

Unlocking the secrets of CTL and NK cell

✍ Gideon Berke 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 729 KB

Stimulated Kupffer cells attract cytotox

✍ Shinichi Sakamoto; Takeshi Okanoue; Yoshito Itoh; Shiro Takami; Koichiro Yasui; 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 382 KB