Specification and Design of Multi-agent Applications Using Temporal Z.

Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel

Browse the full PRIMA paper archive.