Tearing based automatic abstraction for CTL model checking Conference Proceeding uri icon

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