Formal analysis and verification of self-healing systems - Ehrig, Hartmut 1944-2016; Ermel, Claudia; Runge, Olga; Bucchiarone, Antonio; Pelliccione, Patrizio (Technische Universität Berlin, 2010)
Druckfehler auf dem Titelblatt, dort verication statt verification