Showing 1 - 3 results of 3 for search 'Kropf, Thomas', query time: 0.01s Refine Results
  1. 1
    Formal Hardware Verification Methods and Systems in Comparison /
    Published 1997
    Other Authors: “…Kropf, Thomas…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal hardware verification : methods and systems in comparison /
    Published 1997
    Other Authors: “…Kropf, Thomas, 1961-…”
    Book
  3. 3
    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: “…Kropf, Thomas…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search