Showing 1 - 2 results of 2 for search 'Prabhakar, Pavithra', query time: 0.01s Refine Results
  1. 1
    Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /
    Published 2018
    Other Authors: “…Prabhakar, Pavithra…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
    Published 2017
    Other Authors: “…Prabhakar, Pavithra…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search