@INPROCEEDINGS{prima2004,
author = {Amira Regayeg and Ahmed Hadj Kacem and Mohamed Jmaiel},
title = {Specification and Design of Multi-agent Applications Using
Temporal Z},
booktitle = {Proceedings of Pacific Rim International Workshop on
Multi-Agents},
year = {2004},
editor = {M.W. Barley and N. Kasabov},
volume = {3371},
series = {Lecture Notes in Artificial Intelligence},
pages = {228--242},
publisher = {Springer},
caddress = {Auckland, New Zealand},
cmonth = {August},
doi = {10.1007/978-3-540-32128-6_18},
pyear = {2005}
}