42 citations · 42 across the 1 of their papers we have counts for
1 paper
Alfons Laarman, Jaco van de Pol, Michael Weber
This paper focuses on data structures for multi-core reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of an efficie…