Login / Signup

Generating Non-linear Interpolants by Semidefinite Programming.

Liyun DaiBican XiaNaijun Zhan
Published in: CAV (2013)
Keyphrases