Parallel probabilistic model checking on general purpose graphics processors (bibtex)

by Bosnacki, Dragan, Edelkamp, Stefan, Sulewski, Damian and Wijs, Anton

Reference:

Bosnacki, Dragan, Edelkamp, Stefan, Sulewski, Damian and Wijs, Anton, "Parallel probabilistic model checking on general purpose graphics processors", In International Journal on Software Tools for Technology, vol. 13, no. 1, pp. 21–35, 2010.

Bibtex Entry:

@ARTICLE{Bosnacki2010,
  author = {Bosnacki, Dragan and Edelkamp, Stefan and Sulewski, Damian and Wijs,
	Anton},
  title = {Parallel probabilistic model checking on general purpose graphics
	processors},
  journal = {International Journal on Software Tools for Technology},
  year = {2010},
  volume = {13},
  pages = {21--35},
  number = {1},
  owner = {pmania},
  timestamp = {2012.11.06}
}