Hindriks, Koen V. (Nombre personal)

Machine generated authority record.

Work cat.: (MX-SnUAN)284921: Dastani, Mehdi. editor. 302459, Specification and Verification of Multi-agent Systems /