[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]
|