Compositional Verification of a Multi-Ag
โ
Frances M. T. Brazier; Frank Cornelissen; Rune Gustavsson; Catholijn M. Jonker;
๐
Article
๐
2004
๐
Springer US
๐
English
โ 172 KB