TY - CONF A1 - Roy, P. A1 - Haridi, Seif A1 - Reinefeld, Alexander A1 - Stefani, J. B. A1 - Yap, R. A1 - Coupaye, T. T1 - Self Management for Large-Scale Distributed Systems T2 - Formal Methods for Components and Objects 2007 (FMCO 2007) Y1 - 2008 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/3483 PB - Springer LNCS ER -