@Article{BBC09,
  author =       "J. Barnat and L. Brim and M. \v{C}e\v{s}ka",
  title =        "{DiVinE-CUDA: A Tool for GPU Accelerated LTL Model Checking}",
  journal =      "Electronic Proceedings in Theoretical Computer Science (PDMC 2009)",
  year =         "2009",
  volume =       "14",
  pages =        "107--111",
  url =          "http://dx.doi.org/10.4204/EPTCS.14.8"
}