Reachability Analysis in Dynamically Routed Networks

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]

Authors

Miroslav Svéda

This author has not been identified. Look up 'Miroslav Svéda' in Google

Ondrej Rysavy

This author has not been identified. Look up 'Ondrej Rysavy' in Google

Gayan de Silva

This author has not been identified. Look up 'Gayan de Silva' in Google

Petr Matousek

This author has not been identified. Look up 'Petr Matousek' in Google

Jaroslav Ráb

This author has not been identified. Look up 'Jaroslav Ráb' in Google