TY  - RPRT
TI  - Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints
AU  - Patrick Metzler
AU  - Habib Saissi
AU  - Péter Bokor
AU  - Neeraj Suri
PY  - 2020
UR  - https://arxiv.org/abs/1809.01955
ID  - 1809.01955
ER  -