Search Results - Lifson, Farrel

  • Showing 1 - 1 results of 1
Refine Results
  1. Specification and verification of systems using model checking and Markov reward models by Lifson, Farrel

    Published 2014
    Get full text
    Thesis