✦ LIBER ✦

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 510 || Model-checking for probabilistic real-time systems

✍ Scribed by Albert, Javier Leach; Monien, Burkhard; Artalejo, Mario Rodríguez

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

✍ Baeten, Jos C. M.; Lenstra, Jan Karel; Parrow, Joachim; Woeginger, Gerhard J. 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 185 KB

[Lecture Notes in Computer Science] Auto

✍ Kuich, W. 📂 Article 📅 1992 🏛 Springer Berlin Heidelberg ⚖ 998 KB

[Lecture Notes in Computer Science] Form

✍ Katoen, Joost-Pieter 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 272 KB

[Lecture Notes in Computer Science] Auto

✍ Aceto, Luca; Damgård, Ivan; Goldberg, Leslie Ann; Halldórsson, Magnús M.; Ingólf 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 469 KB

[Lecture Notes in Computer Science] Auto

✍ Loeckx, J. 📂 Article 📅 1974 ⚖ 785 KB

[Lecture Notes in Computer Science] Auto

✍ Aceto, Luca; Henzinger, Monika; Sgall, Jiří 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 198 KB