Formal analysis approach on networks with dynamic behaviours - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gayan de Silva, Petr Matousek, Ondrej Rysavy, Miroslav Svéda. Formal analysis approach on networks with dynamic behaviours. In Proceedings of the International Conference on Ultra Modern Telecommunications, ICUMT 2010, 18-20 October 2010, Moscow, Russia. pages 545-551, IEEE, 2010. [doi]

This author has not been identified. Look up 'Gayan de Silva' in GoogleThis author has not been identified. Look up 'Petr Matousek' in GoogleThis author has not been identified. Look up 'Ondrej Rysavy' in GoogleThis author has not been identified. Look up 'Miroslav Svéda' in Google

runs on WebDSL