Integrating churn into the formal analysis of routing algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Stefanie Roos' in GoogleThis author has not been identified. Look up 'Giang T. Nguyen' in GoogleThis author has not been identified. Look up 'Thorsten Strufe' in Google

runs on WebDSL