Showing 1 - 6 results of 6 for search 'Kropf, Thomas, 1961-', query time: 0.03s Refine Results
  1. 1
    Introduction to formal hardware verification /

    Introduction to formal hardware verification / by Kropf, Thomas, 1961-

    Published 1999
    Book
    Save to List
    Saved in:
  2. 2
    Formal hardware verification : methods and systems in comparison /

    Formal hardware verification : methods and systems in comparison /

    Published 1997
    Other Authors: “…Kropf, Thomas, 1961-…”
    Book
    Save to List
    Saved in:
  3. 3
    Theorem Provers in Circuit Design Theory, Practice and Experience /

    Theorem Provers in Circuit Design Theory, Practice and Experience / by Kumar, Ramayya, 1957-

    Published 1995
    Other Authors: “…Kropf, Thomas, 1961-…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Formal hardware verification : methods and systems in comparison /

    Formal hardware verification : methods and systems in comparison /

    Published 1997
    Other Authors: “…Kropf, Thomas, 1961-…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  5. 5
    Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /

    Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /

    Published 1999
    Other Authors:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Theorem provers in circuit design : theory, practice and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /

    Theorem provers in circuit design : theory, practice and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /

    Published 1995
    Other Authors:
    Conference Proceeding Book
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search