Showing 1 - 4 results of 4 for search 'Hu, Alan J.', query time: 0.02s Refine Results
  1. 1
    Proceedings of the International Conference on Computer-Aided Design
    Published 2012
    Other Authors: “…Hu, Alan J.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
    Published 2009
    Other Authors: “…Hu, Alan J.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    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.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
    Published 1998
    Other Authors: “…Hu, Alan J.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search