Towards a formal methodology for developing multi-agent applications using temporal Z.

Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel

Browse the full AICCSA paper archive.