|
[BES09]
D. Bosnacki and S. Edelkamp and D. Sulewski.
Efficient Probabilistic Model Checking on General Purpose Graphics Processors.
In C. Pasareanu (editor), Proc. 16th International SPIN Workshop, volume 5578 of LNCS, pages 32-49, Springer.
2009.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
Site hosted at the Department of Computer Science, University of Oxford