Verification and synthesis using real quantifier elimination - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

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⟩
46 View
1 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More