Verification: Theory and Practice
From MaRDI portal
Publication:5305651
DOI10.1007/b12001zbMath1274.03019OpenAlexW2483649756MaRDI QIDQ5305651
Vijay Chandru, Jean-Louis Lassez
Publication date: 23 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12001
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Sum of Squares Certificates for Containment of $\mathcal{H}$-Polytopes in $\mathcal{V}$-Polytopes ⋮ New approach to Farkas' theorem of the alternative
This page was built for publication: Verification: Theory and Practice
