1. Christel Baier & Joost-Pieter Katoen (2008): Principles of Model Checking. The MIT Press.
  2. Jiri Barnat, Lubos Brim, Milan Ceska & Tomas Lamr (2009): CUDA Accelerated LTL Model Checking. In: Proceedings of the 15th International Conference on Parallel and Distributed Systems. IEEE, pp. 34–41, doi:10.1109/ICPADS.2009.50.
  3. Richard Barrett, Michael Berry, Tony F. Chan, James Demmel, June M. Donato, Jack Dongarra, Victor Eijkhout, Roldan Pozo, Charles Romine & Henk Van der Vorst (1994): Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods. SIAM.
  4. Dragan Bosnacki, Stefan Edelkamp & Damian Sulewski (2009): Efficient Probabilistic Model Checking on General Purpose Graphics Processors. In: Proceedings of the 16th SPIN Workshop. Springer-Verlag, pp. 32–49, doi:10.1007/978-3-642-02652-2_7.
  5. Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski & Anton Wijs (2011): Parallel Probabilistic Model Checking on General Purpose Graphics Processors. International Journal on Software Tools for Technology Transfer 13(1), pp. 21–35, doi:10.1007/s10009-010-0176-4.
  6. Peter Buchholz (2006): Structured Analysis Techniques for Large Markov Chains. In: Proceeding of the 2006 Workshop on Tools for Solving Structured Markov Chains. ACM, pp. 2, doi:10.1145/1190366.1190367.
  7. Abhijeet Gaikwad & Ioane M. Toke (2010): Parallel Iterative Linear Solvers on GPU: A Financial Engineering Case. In: Proceedings of the 18th Euromicro International Conference on Parallel, Distributed and Network-Based Processing. IEEE, pp. 607–614, doi:10.1109/PDP.2010.55.
  8. Michael Garland & David B. Kirk (2010): Understanding Throughput-Oriented Architectures. Communications of the ACM 53(11), pp. 58–66, doi:10.1145/1839676.1839694.
  9. Boudewijn R. Havertkort (1998): Performance of Computer Communication Systems. John Wiley & Sons.
  10. David B. Kirk & Wen-mei W. Hwu (2010): Programming Massively Parallel Processors: A Hands-on Approach. Morgan Kaufmann.
  11. Marta Z. Kwiatkowska, David Parker & Hongyang Qu (2011): Incremental Quantitative Verification for Markov Decision Processes. In: Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks. IEEE, pp. 359–370, doi:10.1109/DSN.2011.5958249.
  12. Gilbert Strang (2003): Introduction to Linear Algebra. Wellesley-Cambridge Press.
  13. Henk A. van der Vorst (1992): Bi-CGSTAB: A Fast and Smoothly Converging Variant of Bi-CG for the Solution of Nonsymmetric Linear Systems. SIAM Journal on Scientific and Statistical Computing 13(2), pp. 631–644, doi:10.1137/0913035.
  14. Xin Zhang (2010): Measuring Progress of Model Checking Randomized Algorithms. York University, Toronto.

Comments and questions to:
For website issues: