TY  - RPRT
TI  - Quotient of Acceptance Specifications under Reachability Constraints
AU  - Guillaume Verdier
AU  - Jean-Baptiste Raclet
PY  - 2014
UR  - https://arxiv.org/abs/1411.6463
ID  - 1411.6463
ER  -