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

Overview

CU Boulder Authors

Somenzi, Fabio

publication date

October 10, 1994

Full Author List

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

published in

IEEE International Conference on Computer Design - VLSI in Computers and Processors Journal

Other Profiles

Digital Object Identifier (DOI)

10.1109/ICCD.1994.331896

Additional Document Info

start page

236

end page

239