Approximate reachability don't cares for CTL model checking Conference Proceeding uri icon

Overview

publication date

  • November 8, 1998

Full Author List

  • Moon IH; Jang JY; Hachtel GD; Somenzi F; Yuan J; Pixley C

Other Profiles

Additional Document Info

start page

  • 351

end page

  • 358