Search Results

  • Showing 1 - 1 results of 1
Refine Results
  1. Generalised Markovian analysis of timed transition systems by Knottenbelt, William John

    Published 2015
    Get full text
    Thesis