Tearing based automatic abstraction for CTL model checking
Conference Proceeding
Overview
publication date
- November 10, 1996
Full Author List
- Lee W; Pardo A; Jang JY; Hachtel G; Somenzi F
Additional Document Info
start page
- 76
end page
- 81