Hong-Jiang Gao
Department of Computer Science and Technology, Xi`an Jiaotong University, Xi`an, Shaanxi, People`s Republic of China
Zheng Qin
Department of Computer Science and Technology, Xi`an Jiaotong University, Xi`an, Shaanxi, People`s Republic of China
Lei Lu
Library of Ludong University, Yantai, Shandong, People`s Republic of China
Li-Ping Shao
Department of Computer Science and Technology, Xi`an Jiaotong University, Xi`an, Shaanxi, People`s Republic of China
Xing-Chen Heng
Department of Computer Science and Technology, Xi`an Jiaotong University, Xi`an, Shaanxi, People`s Republic of China
PDF Fulltext XML References Citation
How to cite this article
Hong-Jiang Gao, Zheng Qin, Lei Lu, Li-Ping Shao and Xing-Chen Heng, 2007. Formal Spsecification and Proof of Multi-Agent Applications Using Event B. Information Technology Journal, 6: 1181-1189.
DOI: 10.3923/itj.2007.1181.1189
URL: https://scialert.net/abstract/?doi=itj.2007.1181.1189
DOI: 10.3923/itj.2007.1181.1189
URL: https://scialert.net/abstract/?doi=itj.2007.1181.1189