TY  - RPRT
TI  - Access Control Synthesis for Physical Spaces
AU  - Petar Tsankov
AU  - Mohammad Torabi Dashti
AU  - David Basin
PY  - 2016
UR  - https://arxiv.org/abs/1605.01769
ID  - 1605.01769
ER  -