Search Results

Showing 1 - 2 results of 2 for search '"model checking"', query time: 0.07s Refine Results
  1. 1
    by Khalid, Sadaf, Arif, Fahim
    Published 2012
    “...\", SPIN Model Checking and Software Verification, Springer,\npp. 331-342, 2000.", "R. O-Callahan and J-D...”
    Get access
    Get access
    Text
  2. 2
    by Khalid, Sadaf, Arif, Fahim
    Published 2012
    “...\", SPIN Model Checking and Software Verification, Springer,\npp. 331-342, 2000.", "R. O-Callahan and J-D...”
    Get access
    Get access
    Text
Search Tools: Get RSS Feed