TY  - RPRT
TI  - Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems
AU  - Toni Mancini
AU  - Igor Melatti
AU  - Enrico Tronci
PY  - 2023
DO  - 10.1109/tse.2023.3298432
UR  - https://arxiv.org/abs/2307.15383
ID  - 2307.15383
ER  -