DMCA

SAT-based Abstraction Refinement for (Timed) Constraint Automata

by Stephanie Kemper