EXTENDED BDDS - TRADING OFF CANONICITY FOR STRUCTURE IN VERIFICATION ALGORITHMS Journal Article

Overview

CU Boulder Authors

Somenzi, Fabio

publication date

February 1, 1994

Full Author List

PLESSIER B; HACHTEL G; SOMENZI F

published in

Formal Methods in System Design Journal

Other Profiles

Digital Object Identifier (DOI)

10.1007/BF01384083

Additional Document Info

start page

167

end page

185

volume

4

issue

2