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