Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Denotational semantics for agent communication language
Proceedings of the fifth international conference on Autonomous agents
Determining the Trustworthiness of New Electronic Contracts
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Formalization and verification of interaction protocols
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A verifiable logic-based agent architecture
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Security protocols verification in abductive logic programming: a case study
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
| Hi-index | 0.00 |