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

Overview

publication date

  • October 10, 1994

Full Author List

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

Other Profiles

Additional Document Info

start page

  • 236

end page

  • 239