Invariant Generation for Parametrized Systems Using Self-reflection
Conference Proceeding
Overview
publication date
- January 1, 2012
Full Author List
- Sanchez A; Sankaranarayanan S; Sánchez C; Chang B-YE
published in
Other Profiles
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 9783642331244
Additional Document Info
start page
- 146
end page
- 163