✦ LIBER ✦

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 6015 || Simple O(m logn) Time Markov Chain Lumping

✍ Scribed by Esparza, Javier; Majumdar, Rupak

Book ID: 111962778
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 258 KB
Category: Article
ISBN: 3642120024
DOI: 10.1007/978-3-642-12002-2_4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 4963 || Z3: An Efficient SMT Solver

✍ Ramakrishnan, C. R.; Rehof, Jakob 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 244 KB

This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || A tool to support formal reasoning about computer languages

✍ Brinksma, Ed 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 918 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2031 || Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams

✍ Margaria, Tiziana; Yi, Wang 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 309 KB