𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 6756 || A Progress Measure for Explicit-State Probabilistic Model-Checkers

✍ Scribed by Aceto, Luca; Henzinger, Monika; Sgall, Jiří


Book ID
120254827
Publisher
Springer Berlin Heidelberg
Year
2011
Weight
198 KB
Category
Article
ISBN
3642220126

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Auto
✍ Caires, Luís; Italiano, Giuseppe F.; Monteiro, Luís; Palamidessi, Catuscia; Yung 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 148 KB

The 32nd International Colloquium On Automata, Languages And Programming (icalp 2005) Was Held In Lisbon, Portugal From July 11 To July 15, 2005. These Proceedings Contain All Contributed Papers Presented At Icalp 2005, - Getherwiththepapersbytheinvitedspeakersgiuseppecastagna(ens),leonid Libkin (to