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