13 citations · 22 across the 16 of their papers we have counts for
1 paper · 1 filter
Jesko Hecking-Harbusch, Niklas O. Metzger
The manual implementation of distributed systems is an error-prone task because of the asynchronous interplay of components and the environment. Bounded synthesis automatically gen…