35 citations · 35 across the 1 of their papers we have counts for
1 paper
O. Grumberg, S. Livne, S. Markovitch
The size and complexity of software and hardware systems have significantly increased in the past years. As a result, it is harder to guarantee their correct behavior. One of the m…