A Study of Model-Order Reduction Techniques for Verification Conference Proceeding

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

publication date

• July 22, 2017

Full Author List

• Chou Y; Chen X; Sankaranarayanan S

published in

• Lecture Notes in Artificial Intelligence  Journal

Other Profiles

Digital Object Identifier (DOI)

• 10.1007/978-3-319-63501-9_8

International Standard Book Number (ISBN) 13

• 978-3-319-63500-2

Additional Document Info

start page

• 98

end page

• 113

volume

• 10381