@INPROCEEDINGS{iat04,
author = {Amira Regayeg and Ahmed Hadj Kacem and Mohamed Jmaiel},
title = {Specification and Verification of Multi-agent Applications
using Temporal \mbox{Z}},
booktitle = {Proceedings of the IEEE/WIC/ACM International
Conference on Intelligent Agent Technology 2004
(IAT'2004)},
year = {2004},
pages = {260--266},
address = {Beijing, China},
month = {September},
days = {20--24},
doi = {10.1109/IAT.2004.1342953}
}