Validating numerical semidefinite programming solvers for polynomial invariants Journal Article
Overview
publication date
- October 1, 2018
has restriction
- closed
Date in CU Experts
- October 10, 2018 6:10 AM
Full Author List
- Roux P; Voronin Y-L; Sankaranarayanan S
author count
- 3
citation count
- 7
published in
- Formal Methods in System Design Journal
Other Profiles
International Standard Serial Number (ISSN)
- 0925-9856
Electronic International Standard Serial Number (EISSN)
- 1572-8102
Digital Object Identifier (DOI)
Additional Document Info
start page
- 286
end page
- 312
volume
- 53
issue
- 2