Towards automated verification of autonomous networks: A case study in self-configuration (2010)

First Author: JaeSeung Song
Attributed to:  MVCE Strategic Partnership: Core 5 Flexible Networks funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1109/percomw.2010.5470504

Publication URI: http://dx.doi.org/10.1109/percomw.2010.5470504

Type: Conference/Paper/Proceeding/Abstract

ISBN: 978-1-4244-6605-4