cfaed Publications

Integrating Churn into the Formal Analysis of Routing Algorithms

Reference

Stefanie Roos, Giang Truong Nguyen, Thorsten Strufe, "Integrating Churn into the Formal Analysis of Routing Algorithms", In Proceeding: GI/IEEE NetSys, 2015.

Bibtex

@inproceedings{roos15integrating,
title = {Integrating Churn into the Formal Analysis of Routing Algorithms},
author = {Stefanie Roos and Giang Truong Nguyen and Thorsten Strufe},
booktitle = {GI/IEEE NetSys},
year = 2015
}

Downloads

No Downloads available for this publication

Related Paths

Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=1296


Go back to publications list