Search Results

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings by ATVA (Symposium) Taipei, Taiwan), SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (xii, 506 pages) : illustrations.
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
  2. 2

    Formal verification of structurally complex multipliers by Mahzoon, Alireza, Grosse, Daniel, Drechsler, Rolf

    Published: Springer, 2023
    Description: 1 online resource (xiii, 130 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Formal verification of structurally complex multipliers

Search Tools: