Compositional Modelling and Verification of IPv6 Mobility - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peng Wu 0002, Dongmei Zhang. Compositional Modelling and Verification of IPv6 Mobility. In Farn Wang, editor, Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings. Volume 3731 of Lecture Notes in Computer Science, pages 553-556, Springer, 2005. [doi]

This author has not been identified. Look up 'Peng Wu 0002' in GoogleThis author has not been identified. Look up 'Dongmei Zhang' in Google

runs on WebDSL