DMCA

Faster FDR Counterexample Generation Using SAT-Solving (2009)

by H. Palikareva , J. Ouaknine , A. W. Roscoe
Citations:2 - 1 self