Swarm Model Checking on the GPU (bibtex)
by Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
Reference:
Swarm Model Checking on the GPU Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka, In 26th International SPIN Symposium on Model Checking of Software, Springer International Publishing, 2019.
Bibtex Entry:
@inproceedings{ferdman-swarm-model-checking-on-the-gpu,
  author       = "Richard DeFrancisco and Shenghsun Cho and Michael Ferdman and Scott A. Smolka",
  title        = "Swarm Model Checking on the {GPU}",
  booktitle    = "26th International {SPIN} Symposium on Model Checking of Software",
  year         = "2019",
  location="Beijing, China",
  publisher="Springer International Publishing",
  isbn="978-3-030-30922-0",
  doi="10.1007/978-3-030-30923-7",
  pdf={http://compas.cs.stonybrook.edu/%7Emferdman/downloads.php/SPIN19_Swarm_Model_Checking_on_the_GPU.pdf}
}
Powered by bibtexbrowser