Swarm Model Checking on the GPU

Author	R. DeFrancisco S. Cho M. Ferdman S. Smolka
Year of Publication	2020
Journal	International Journal on Software Tools for Technology Transfer
Download citation	Google Scholar BibTeX EndNote X3 XML EndNote 7 XML Endnote tagged RIS