TITLE     : Towards a spatial model checker on GPU
AUTHOR(S) : Bussi L, Ciancia V, Gadducci F
TYPE      : Conference article
YEAR      : 2021
CODE      : 454725

*** DO NOT EDIT THIS FILE ***