Showing 1 - 2 results of 2 for search 'Pragyesh', query time: 0.01s Refine Results
  1. 1
    Local search in model checking

    Local search in model checking by Roscoe, P, Pragyesh

    Published 2009
    Journal article
  2. 2
    Local Search in Model Checking

    Local Search in Model Checking by Roscoe, A, Armstrong, P, Pragyesh

    Published 2009
    Journal article

Search Tools: