TY  - RPRT
TI  - EPTL - A temporal logic for weakly consistent systems
AU  - Mathias Weber
AU  - Annette Bieniusa
AU  - Arnd Poetzsch-Heffter
PY  - 2017
UR  - https://arxiv.org/abs/1704.05320
ID  - 1704.05320
ER  -