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
Additional Document Info
start page
- 146
end page
- 163
volume
- 7460