A STRUCTURAL APPROACH TO STATE SPACE DECOMPOSITION FOR APPROXIMATE REACHABILITY ANALYSIS Conference Proceeding uri icon

Overview

publication date

  • October 10, 1994

Date in CU Experts

  • May 28, 2014 4:11 AM

Full Author List

  • CHO HW; HACHTEL GD; MACII E; PONCINO M; SOMENZI F

author count

  • 5

citation count

  • 6

Other Profiles

International Standard Serial Number (ISSN)

  • 1063-6404

International Standard Book Number (ISBN) 10

  • 0-8186-6565-3

Additional Document Info

start page

  • 236

end page

  • 239