30 citations · 57 across the 15 of their papers we have counts for
1 paper · 2 filters
Stefan Hallerstede, Michael Leuschel
Establishing the absence of deadlocks is important in many applications of formal methods. The use of model checking for finding deadlocks in formal models is often limited. In thi…