@InProceedings{BESW10,
author={D. Bosnacki and S. Edelkamp and D. Sulewski and A. Wijs},
title={{GPU-PRISM}: An Extension of {PRISM} for General Purpose Graphics Processing Units},
booktitle={Proc. 9th International Workshop on Parallel and Distributed Methods in Verification},
year={2010},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}