✦ LIBER ✦

Model-checking hierarchical structures

✍ Scribed by Markus Lohrey

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Improved model checking of hierarchical

✍ Benjamin Aminof; Orna Kupferman; Aniello Murano 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 363 KB

Model checking on timed-event structures

✍ Dasgupta, P.; Deka, J.K.; Chakrabarti, P.P. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 260 KB

Bounded Model Checking with Parametric D

✍ Erika Ábrahám; Marc Herbstritt; Bernd Becker; Martin Steffen 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 375 KB

Model checking of distributed systems wi

✍ N. O. Garanina 📂 Article 📅 2011 🏛 Allerton Press Inc 🌐 English ⚖ 139 KB

Hierarchical Structures

✍ Salthe, Stanley N. 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 264 KB

Model Checking

✍ Ralf Buschermöhle; Mark Brörkens; Ingo Brückner; Werner Damm; Wilhelm Hasselbrin 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 German ⚖ 403 KB