[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,Рік:
2004
Мова:
english
DOI:
10.1109/cit.2004.1357252
Файл:
PDF, 281 KB
english, 2004