TY  - RPRT
TI  - Synthesizing Structured Reactive Programs via Deterministic Tree Automata
AU  - Benedikt Brütsch
PY  - 2013
DO  - 10.4204/eptcs.112.16
UR  - https://arxiv.org/abs/1303.0797
ID  - 1303.0797
ER  -