Showing 1 - 3 results of 3 for search 'Hu, Alan J.', query time: 0.02s Narrow Search
  1. 1
    Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
    Published 2009
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
    Published 2004
    Other Authors: “…Hu, Alan J.…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
    Published 1998
    Other Authors: “…Hu, Alan J.…”
    Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: