|
[BESW10]
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski and Anton Wijs.
GPU-PRISM: An Extension of PRISM for General Purpose Graphics Processing Units.
In Proc. 9th International Workshop on Parallel and Distributed Methods in Verification.
2010.
[bib]
[Presents an extension of PRISM for parallel probabilistic model checking on GPUs.]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|