Verification and synthesis using real quantifier elimination - Archive ouverte HAL Access content directly
Conference Papers Year :

Dates and versions

hal-03142063 , version 1 (16-02-2021)

Identifiers

Cite

Thomas Sturm, Ashish Tiwari. Verification and synthesis using real quantifier elimination. Proc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩. ⟨hal-03142063⟩
37 View
1 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More