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

Overview

CU Boulder Authors

Somenzi, Fabio

publication date

October 10, 1994

has restriction

closed

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

published in

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

presented at event

1994 IEEE International Conference on Computer Design - VLSI in Computers and Processors (ICCD 94) Conference

Other Profiles

International Standard Serial Number (ISSN)

1063-6404

Digital Object Identifier (DOI)

https://doi.org/10.1109/iccd.1994.331896

International Standard Book Number (ISBN) 10

0-8186-6565-3

Additional Document Info

start page

236

end page

239