✦ LIBER ✦

Modal transition systems with weight intervals

✍ Scribed by Line Juhl; Kim G. Larsen; Jiřı´ Srba

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comparing disjunctive modal transition s

✍ H. Fecher; H. Schmidt 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 430 KB

Modal and guarded characterisation theor

✍ Martin Otto 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 491 KB

EXPTIME-completeness of thorough refinem

✍ Nikola Beneš; Jan Křetínský; Kim G. Larsen; Jiří Srba 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 253 KB

Modal Control of Systems with Delay

✍ A.T. Kozhamentov; N.V. Kosarevskaya; D.Ya. Khusainov 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 74 KB

Quantitative analysis of weighted transi

✍ Claus Thrane; Uli Fahrenberg; Kim G. Larsen 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 405 KB

Modal synthesis of systems with prescrib

✍ O. B. Balakshin 📂 Article 📅 2011 🏛 Allerton Press, Inc. 🌐 English ⚖ 161 KB