✦ LIBER ✦

Pushdown Processes: Games and Model-Checking

✍ Scribed by Igor Walukiewicz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model Checking Mobile Processes

✍ Mads Dam 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 838 KB

Weighted Timed Automata: Model-Checking

✍ Patricia Bouyer 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 283 KB

A Direct Symbolic Approach to Model Chec

✍ Alain Finkel; Bernard Willems; Pierre Wolper 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 586 KB

Model building and model checking for bi

✍ Marco Antoniotti; Alberto Policriti; Nadia Ugel; Bud Mishra 📂 Article 📅 2003 🏛 Springer-Verlag 🌐 English ⚖ 798 KB

Model Checking Games for the Quantitativ

✍ Diana Fischer; Erich Grädel; Łukasz Kaiser 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 675 KB

Process interface modeling and consisten

✍ Chenho Kung 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 784 KB