Showing 1 - 2 results of 2 for search 'Malik, Sharad', query time: 0.02s Refine Results
  1. 1
    Proceedings of the 41st annual Design Automation Conference
    Published 2004
    Other Authors: “…Malik, Sharad…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    Published 2008
    Other Authors: “…Malik, Sharad…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search