Compositional Verification of Multi-Agen
โ
Joeri Engelfriet; Catholijn M. Jonker; Jan Treur
๐
Article
๐
2002
๐
Springer Netherlands
๐
English
โ 202 KB