Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs. Parallel probabilistic model checking on general purpose graphics processors. STTT, 13(1):21-35, 2011. [doi]
@article{BosnackiESW11,
title = {Parallel probabilistic model checking on general purpose graphics processors},
author = {Dragan Bosnacki and Stefan Edelkamp and Damian Sulewski and Anton Wijs},
year = {2011},
doi = {10.1007/s10009-010-0176-4},
url = {http://dx.doi.org/10.1007/s10009-010-0176-4},
tags = {model checking, meta-model, Meta-Environment, process modeling},
researchr = {https://researchr.org/publication/BosnackiESW11},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {13},
number = {1},
pages = {21-35},
}