@INPROCEEDINGS{aiccsa051,
author = {Amira Regayeg and Ahmed Hadj Kacem and Mohamed Jmaiel},
title = {Towards a Formal Methodology for Developing Multi-Agent
Applications using Temporal \mbox{Z}},
booktitle = {The 3rd ACS/IEEE International Conference on Computer
Systems and Applications (AICCSA'05)},
year = {2005},
address = {Cairo, Egypt},
month = {January},
doi = {10.1109/AICCSA.2005.1387112}
}