Dragan Bosnacki Stefan Edelkamp Damian Sulewski Anton Wijs Parallel probabilistic model checking on general purpose graphics processors. 21-35 2011 13 STTT 1 http://dx.doi.org/10.1007/s10009-010-0176-4 db/journals/sttt/sttt13.html#BosnackiESW11