✦ LIBER ✦

Model-checking dense-time Duration Calculus

✍ Scribed by Martin Fränzle

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking Duration Calculus: a prac

✍ Roland Meyer; Johannes Faber; Jochen Hoenicke; Andrey Rybalchenko 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 469 KB

Probabilistic Duration Calculus for Cont

✍ Dang Van Hung; Zhou Chaochen 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 177 KB

Checking Temporal Duration Properties of

✍ Yong Li; Hung Van Dang 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 748 KB

Checking timed automata for linear durat

✍ Jianhua Zhao; Van Hung Dang 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 488 KB

Model Checking Games for the Quantitativ

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

A graphical μ-calculus and local model c

✍ Huimin Lin 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 556 KB