Specification and Verification of Multi-agent Systems
No description available.
Software engineeringElectronic data processingComputer scienceArtificial intelligenceMultiagent systemsComputer software, verificationIntelligent agents (computer software)Operating systems (computers)