TITLE     : Towards model checking video streams using VoxLogicA on GPUs
AUTHOR(S) : Bussi L, Ciancia V, Gadducci F, Latella D, Massink M
TYPE      : Contribution to book
YEAR      : 2022
CODE      : 472126

*** DO NOT EDIT THIS FILE ***