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]
Abstract is missing.