Formale Fehlermodellierung für verteilte reaktive Systeme - Breitling, Max 1967- (2001)
München, Techn. Univ., Diss., 2001