Login / Signup

BECAMEDA: A Customizable Method to Specify and Verify the Behavior of Multi-agent Systems.

Abdelhay HaqiqBouchaib Bounabat
Published in: SCA (2017)
Keyphrases