%0 Journal Article
%B International Journal on Software Tools for Technology Transfer
%D 2020
%G eng
%T Swarm Model Checking on the GPU