@article{98,
  author = {R. DeFrancisco and S. Cho and M. Ferdman and S. Smolka},
  title = {Swarm Model Checking on the GPU},
  year = {2020},
  journal = {International Journal on Software Tools for Technology Transfer},
  language = {eng},
}