Proving more properties with bounded model checking Journal Article
Overview
publication date
- January 1, 2004
Date in CU Experts
- September 6, 2013 12:30 PM
Full Author List
- Awedh M; Somenzi F
Full Editor List
- Alur R; Peled DA
author count
- 2
citation count
- 15
published in
Other Profiles
International Standard Serial Number (ISSN)
- 0302-9743
Electronic International Standard Serial Number (EISSN)
- 1611-3349
Additional Document Info
start page
- 96
end page
- 108
volume
- 3114