TY - JOUR
AU - R. DeFrancisco
AU - S. Cho
AU - M. Ferdman
AU - S. Smolka
BT - International Journal on Software Tools for Technology Transfer
LA - eng
PY - 2020
T2 - International Journal on Software Tools for Technology Transfer
TI - Swarm Model Checking on the GPU
ER -