A STRUCTURAL APPROACH TO STATE SPACE DECOMPOSITION FOR APPROXIMATE REACHABILITY ANALYSIS
Conference Proceeding
Overview
publication date
- October 10, 1994
Full Author List
- CHO HW; HACHTEL GD; MACII E; PONCINO M; SOMENZI F
published in
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 236
end page
- 239