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

Overview

CU Boulder Authors

Somenzi, Fabio

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

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)

10.1109/ICCD.1994.331896

International Standard Book Number (ISBN) 10

0-8186-6565-3

Additional Document Info

start page

236

end page

239