✦ LIBER ✦

Backward Bisimulation in Markov Chain Model Checking

✍ Scribed by Sproston, J.; Donatelli, S.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using Markov chain successional models b

✍ ANDREW R. SOLOW; WOOLLCOTT K. SMITH 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 92 KB

Model-checking large structured Markov c

✍ Peter Buchholz; Joost-Pieter Katoen; Peter Kemper; Carsten Tepper 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 368 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

Markov Chain Models in Life Insurance

✍ Jan M. Hoem 📂 Article 📅 1969 🏛 Springer-Verlag 🌐 German ⚖ 990 KB

Treatment of input uncertainty in hydrol

✍ Vrugt, Jasper A.; ter Braak, Cajo J. F.; Clark, Martyn P.; Hyman, James M.; Robi 📂 Article 📅 2008 🏛 American Geophysical Union 🌐 English ⚖ 991 KB