42 citations · 97 across the 19 of their papers we have counts for
1 paper · 2 filters
Alfons Laarman, Jaco van de Pol
Recently, two new parallel algorithms for on-the-fly model checking of LTL properties were presented at the same conference: Automated Technology for Verification and Analysis, 201…