@InProceedings{BES09,
author={D. Bosnacki and S. Edelkamp and D. Sulewski},
title={Efficient Probabilistic Model Checking on General Purpose Graphics Processors},
booktitle={Proc. 16th International SPIN Workshop},
year={2009},

editor={C. Pasareanu},
pages={32-49},
organization={},
publisher={Springer},
series={LNCS},
volume={5578},
address={},
month={},
note={},
key={}
}