Campus E1 1 66123 Saarbrücken (Germany)
Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems
ATVA