8 citations · 8 across the 1 of their papers we have counts for
1 paper
Robert Mittermayr, Johann Blieberger
The verification of multithreaded software is still a challenge. This comes mainly from the fact that the number of thread interleavings grows exponentially in the number of thread…