@ARTICLE {2628,
author={M.P.G. Gouveia and J. Ramos},
doi={},
journal={Annals of Mathematics and Artificial Intelligence},
title={Multi-agent systems specification and certification: A situation and state calculus approach},
year={2004},
month={June},
volume={41},
number={2-4},
pages={301-338},
ISSN={1012-2443}
}