Showing 1 - 2 results of 2 for search 'Rungta, Neha', query time: 0.01s Refine Results
  1. 1
    Proceedings of the 2014 International SPIN Symposium on Model Checking of Software
    Published 2014
    Other Authors: “…Rungta, Neha…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
    Published 2013
    Other Authors: “…Rungta, Neha…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search