66 citations · 568 across the 83 of their papers we have counts for
1 paper · 1 filter
Bernd Finkbeiner, Leander Tentrup
Writing formal specifications for distributed systems is difficult. Even simple consistency requirements often turn out to be unrealizable because of the complicated information fl…