✦ LIBER ✦

Model-checking large structured Markov chains

✍ Scribed by Peter Buchholz; Joost-Pieter Katoen; Peter Kemper; Carsten Tepper

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structured analysis approaches for large

✍ Peter Buchholz 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 241 KB

A tool for model-checking Markov chains

✍ Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 470 KB

Model checking conditional CSL for conti

✍ Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 264 KB

Backward Bisimulation in Markov Chain Mo

✍ Sproston, J.; Donatelli, S. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 678 KB

Multilevel Solutions for Structured Mark

✍ Buchholz, Peter 📂 Article 📅 2000 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 173 KB

Refinable bounds for large Markov chains

✍ Semal, P. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 639 KB