Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems.

Jesko Hecking-Harbusch, Niklas O. Metzger

Browse the full ATVA paper archive.