User menu

Self management for large-scale distributed systems: an overview of the SELFMAN project

Bibliographic reference Van Roy, Peter ; Haridi, Seif ; Reinefeld, Alexander ; Stefani, Jean-Bernard ; Yap, Roland ; et. al. Self management for large-scale distributed systems: an overview of the SELFMAN project.Formal Methods for Components and Objects. 6th International Symposium, FMCO 2007 (Amsterdam, Netherlands, 24-26 October 2007). In: Formal Methods for Components and Objects. 6th International Symposium, FMCO 2007, Springer-verlag2008, p.153-178
Permanent URL http://hdl.handle.net/2078.1/67630