TY  - RPRT
TI  - Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems
AU  - Jesko Hecking-Harbusch
AU  - Niklas O. Metzger
PY  - 2020
DO  - 10.1007/978-3-030-31784-3_22
UR  - https://arxiv.org/abs/2004.10413
ID  - 2004.10413
ER  -