Modular verification of multipliers Journal Article

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• January 1, 1996

Date in CU Experts

• September 6, 2013 12:30 PM

Full Author List

• Ravi K; Pardo A; Hachtel GD; Somenzi F

Full Editor List

• Srivas M; Camilleri A

author count

• 4

citation count

• 3

published in

• Lecture Notes in Artificial Intelligence 

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

Additional Document Info

start page

• 49

end page

• 63

volume

• 1166