%0
Generic
%T
Unmasking fault tolerance
quantifying deterministic recovery dynamics in probabilistic environments
%A Müllner, Nils Henning
%A Theel, Oliver
%A Katoen, Joost-Pieter
%I BIS der Universität Oldenburg
%K Fehlertoleranz, Model Checking, Selbststabilisierung, Markov-Kette, Dekomposition
%K Hochschulschrift
%D 2014
%C BIS der Universität Oldenburg
%C Oldenburg
%U http://slubdd.de/katalog?TN_libero_mab2