Showing 1 - 4 results of 4 for search 'Rajamani, Sriram K', query time: 0.03s Refine Results
  1. 1
    Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
    Published 2003
    Other Authors: “…Rajamani, Sriram K.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
    Published 2005
    Other Authors: “…Rajamani, Sriram K.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
    by Leavens, Gary T
    Published 2010
    Other Authors: “…Rajamani, Sriram K…”
    Get full text
    Electronic Kit Book
  4. 4
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
    Published 2010
    Other Authors: “…Rajamani, Sriram K.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search