![](/img/cover-not-exists.png)
[IEEE The Fourth International Conference onComputer and Information Technology, 2004. CIT '04. - Wuhan, China (14-16 Sept. 2004)] The Fourth International Conference onComputer and Information Technology, 2004. CIT '04. - A language for description and verification of mobile agent algorithms
Xuhui Li,, Jiannong Cao,, Yanxiang He,Year:
2004
Language:
english
DOI:
10.1109/cit.2004.1357252
File:
PDF, 281 KB
english, 2004