Title | Swarm Model Checking on the GPU |
Publication Type | Journal Article |
Year of Publication | 2020 |
Authors | DeFrancisco, R., Cho S., Ferdman M., and Smolka S. A. |
Journal | International Journal on Software Tools for Technology Transfer |
Title | Swarm Model Checking on the GPU |
Publication Type | Journal Article |
Year of Publication | 2020 |
Authors | DeFrancisco, R., Cho S., Ferdman M., and Smolka S. A. |
Journal | International Journal on Software Tools for Technology Transfer |