Symbolic Reachability Analysis based on SAT-Solvers (2000)

by Parosh Aziz Abdulla
Citations:77 - 3 self