Fortgeschrittene Konzepte in der Leistungsbewertung von Computer- und
Kommunikationssystemen mit Markovschen Modellen: numerische Methoden zur
Analyse von Markovketten, exakte Aggregation, Lumpability, Markov Reward
Processes, stochastische Petrinetze, stochastische Prozeßalgebren.