Comments on: Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers

Comments on: Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers http://www.algosyn.rwth-aachen.de/wp-publications/dblpconfatvaneider12/ hourly 1 http://wordpress.org/?v=3.6.1