Skip to main content

1 Result(s)

within Conference Proceedings Remove this filter Sharad Malik Remove this filter

and

  1. No Access

    Book and Conference Proceedings

    Computer Aided Verification

    20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

    Aarti Gupta, Sharad Malik in Lecture Notes in Computer Science (2008)