9 citations · 9 across the 1 of their papers we have counts for
1 paper
Dirk Beyer, Karlheinz Friedberger
Verifying multi-threaded programs is becoming more and more important, because of the strong trend to increase the number of processing units per CPU socket. We introduce a new con…