Gayan de Silva, Petr Matousek, Ondrej Rysavy, Miroslav Svéda. Formal analysis approach on networks with dynamic behaviours. In Proceedings of the International Conference on Ultra Modern Telecommunications, ICUMT 2010, 18-20 October 2010, Moscow, Russia. pages 545-551, IEEE, 2010. [doi]
Abstract is missing.