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

Overview

publication date

  • November 8, 1998

has restriction

  • green

Date in CU Experts

  • May 28, 2014 4:12 AM

Full Author List

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

author count

  • 6

citation count

  • 1

Other Profiles

International Standard Book Number (ISBN) 10

  • 1-58113-008-2

Additional Document Info

start page

  • 351

end page

  • 358