Search
Now showing items 1-1 of 1
Generalised Markovian analysis of timed transition systems
(1996)
This dissertation concerns. analytical methods for assessing the performance of concurrent systems. More specifically, it focuses on the efficient generation and solution of large Markov chains which are derived from models ...