A Language for Description and Verification of Mobile Agent Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xuhui Li, Jiannong Cao, Yanxiang He. A Language for Description and Verification of Mobile Agent Algorithms. In 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China. pages 546-553, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Xuhui Li' in GoogleThis author has not been identified. Look up 'Jiannong Cao' in GoogleThis author has not been identified. Look up 'Yanxiang He' in Google

runs on WebDSL