Conference Papers
Year :
Thomas Sturm : Connect in order to contact the contributor
https://hal.science/hal-03142063
Submitted on : Tuesday, February 16, 2021-1:46:45 PM
Last modification on : Wednesday, April 19, 2023-4:20:44 AM
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