A Compositional Minimization Approach for Large Asynchronous Design Verification Chapter uri icon

Overview

publication date

  • January 1, 2012

has restriction

  • green

Date in CU Experts

  • January 25, 2022 2:28 AM

Full Author List

  • Zheng H; Rodriguez E; Zhang Y; Myers C

author count

  • 4

Other Profiles

International Standard Book Number (ISBN) 13

  • 9783642317583

Additional Document Info

start page

  • 62

end page

  • 79