Integrating churn into the formal analysis of routing algorithms

Stefanie Roos, Giang T. Nguyen, Thorsten Strufe. Integrating churn into the formal analysis of routing algorithms. In 2015 International Conference and Workshops on Networked Systems, NetSys 2015, Cottbus, Germany, March 9-12, 2015. pages 1-5, IEEE, 2015. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: