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