Invariant Generation for Parametrized Systems Using Self-reflection
Conference Proceeding
Overview
publication date
- September 11, 2012
Date in CU Experts
- February 21, 2017 8:39 AM
Full Author List
- Sanchez A; Sankaranarayanan S; Sanchez C; Chang B-YE
Full Editor List
- Mine A; Schmidt D
author count
- 4
citation count
- 9
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 0302-9743
Additional Document Info
start page
- 146
end page
- 163
volume
- 7460