Symbolic Reachability Analysis based on SAT-Solvers (2000)

by Parosh Aziz Abdulla
Citations:86 - 3 self