Tearing based automatic abstraction for CTL model checking
Conference Proceeding
Overview
publication date
- November 10, 1996
Date in CU Experts
- May 28, 2014 4:11 AM
Full Author List
- Lee W; Pardo A; Jang JY; Hachtel G; Somenzi F
author count
- 5
citation count
- 24
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 1063-6757
International Standard Book Number (ISBN) 10
- 0-8186-7597-7
Additional Document Info
start page
- 76
end page
- 81