Symbolic model checking of hybrid systems using template polyhedra
Conference Proceeding
Overview
publication date
- March 29, 2008
Date in CU Experts
- January 30, 2024 10:24 AM
Full Author List
- Sankaranarayanan S; Dang T; Ivancic F
Full Editor List
- Ramakrishnan CR; Rehof J
author count
- 3
citation count
- 32
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 0302-9743
International Standard Book Number (ISBN) 13
- 978-3-540-78799-0
Additional Document Info
start page
- 188
end page
- +
volume
- 4963