8 citations · 8 across the 1 of their papers we have counts for
1 paper
Volker Diekert, Anca Muscholl
Distributed systems are notoriously difficult to understand and analyze in order to assert their correction w.r.t. given properties. They often exhibit a huge number of different b…