TY  - RPRT
TI  - Verification of Shared-Reading Synchronisers
AU  - Afshin Amighi
AU  - Marieke Huisman
AU  - Stefan Blom
PY  - 2018
DO  - 10.4204/eptcs.272.9
UR  - https://arxiv.org/abs/1806.09851
ID  - 1806.09851
ER  -