Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).
Conference Proceeding
Overview
publication date
- January 1, 2012
Full Author List
- Sánchez A; Sankaranarayanan S; Sánchez C; Chang B-YE
Other Profiles
International Standard Book Number (ISBN) 13
- 978-3-642-33124-4
Additional Document Info
start page
- 146
end page
- 163
volume
- 7460