TY  - RPRT
TI  - The VLSAT-1 Benchmark Suite
AU  - Pierre Bouvier
AU  - Hubert Garavel
PY  - 2020
UR  - https://arxiv.org/abs/2011.11049
ID  - 2011.11049
ER  -