• DocumentCode
    3615790
  • Title

    Verification: What works and what doesn´t

  • Author

    F. Bacchini;R. Damiano;B. Bentley;K. Baty;K. Normoyle;M. Ishii;E. Yogev

  • Author_Institution
    Thinkbold Corporate Communications, San Jose, CA
  • fYear
    2004
  • fDate
    6/26/1905 12:00:00 AM
  • Firstpage
    274
  • Lastpage
    274
  • Keywords
    "Job shop scheduling","Formal verification","Testing","Optimization methods","Design methodology","Hardware design languages","Timing","Law","Legal factors","History"
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference, 2004. Proceedings. 41st
  • ISSN
    0738-100X
  • Print_ISBN
    1-51183-828-8
  • Type

    conf

  • DOI
    10.1145/996566.996648
  • Filename
    1322488
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3615790