Showing 1 - 3 results of 3 for search 'Gupta, Aarti', query time: 0.02s Refine Results
  1. 1
    SAT-Based Scalable Formal Verification Solutions
    by Ganai, Malay K., Gupta, Aarti
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    Published 2008
    Other Authors: “…Gupta, Aarti…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Psychiatric Ethics in Late-Life Patients Medicolegal and Forensic Aspects at the Interface of Mental Health /
    Published 2019
    Other Authors: “…Gupta, Aarti…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search