Miroslav Svéda, Ondrej Rysavy, Gayan de Silva, Petr Matousek, Jaroslav Ráb. Reachability Analysis in Dynamically Routed Networks. In 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011. pages 197-205, IEEE Computer Society, 2011. [doi]
@inproceedings{SvedaRSMR11,
title = {Reachability Analysis in Dynamically Routed Networks},
author = {Miroslav Svéda and Ondrej Rysavy and Gayan de Silva and Petr Matousek and Jaroslav Ráb},
year = {2011},
doi = {10.1109/ECBS.2011.24},
url = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2011.24},
tags = {analysis, routing},
researchr = {https://researchr.org/publication/SvedaRSMR11},
cites = {0},
citedby = {0},
pages = {197-205},
booktitle = {18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011},
publisher = {IEEE Computer Society},
isbn = {978-1-4577-0065-1},
}