00484nas a2200121   4500000000100000000000100001008004100002100001700043700001600060700002800076245010400104856015400208       2016                            d1 aMarcin Copik1 aArtur Rataj1 aBozena Wozna-Szczesniak00aA GPGPU-based Simulator for Prism: Statistical Verification of Results of {PMC} (extended abstract)  uhttp://ceur-ws.org/Vol-1698/CS&P2016_19_Copik&Rataj&Wozna-Szczesniak_A-GPGPU-based-Simulator-for-Prism-Statistical-Verification-of-Results-of-PMC.pdf