TY  - RPRT
TI  - Deriving AOC C-Models from D&V Languages for Single- or Multi-Threaded Execution Using C or C++
AU  - Tobias Strauch
PY  - 2018
UR  - https://arxiv.org/abs/1807.05442
ID  - 1807.05442
ER  -