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
}
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
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1296