Parallel probabilistic model checking on general purpose graphics processors (bibtex)
by Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs
Reference:
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs, "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}
}
Powered by bibtexbrowser