Towards automated verification of autonomous networks: A case study in self-configuration.

JaeSeung Song, Tiejun Ma, Peter R. Pietzuch

Browse the full PERCOM paper archive.