@inproceedings{bibcite_15227,
  author = {Marcin Copik and Artur Rataj and Bozena Wozna-Szczesniak},
  title = {A GPGPU-based Simulator for Prism: Statistical Verification of Results of {PMC} (extended abstract)},
  year = {2016},
  journal = {Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016.},
  url = {http://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},
  language = {eng},
}