JaeSeung Song, Tiejun Ma, Peter R. Pietzuch. Towards automated verification of autonomous networks: A case study in self-configuration. In Eigth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2010, March 29 - April 2, 2010, Mannheim, Germany, Workshop Proceedings. pages 582-587, IEEE, 2010. [doi]
Abstract is missing.