Logic Programming
From MaRDI portal
Publication:5475809
Recommendations
Cited in
(14)- scientific article; zbMATH DE number 2090904 (Why is no real title available?)
- scientific article; zbMATH DE number 1790380 (Why is no real title available?)
- An approach to formal verification of human-computer interaction
- Analysis of meeting protocols by formalisation, simulation, and verification
- scientific article; zbMATH DE number 2090902 (Why is no real title available?)
- Verification of Protocol Conformance and Agent Interoperability
- Formal verification of activity-based specification of protocols
- When human intuition fails: using formal methods to find an error in the ``proof of a multi-agent protocol
- Formal description and verification of MAS interaction protocols
- The formalization and analysis of a communications protocol
- scientific article; zbMATH DE number 2090884 (Why is no real title available?)
- scientific article; zbMATH DE number 2087361 (Why is no real title available?)
- Interaction protocols
- Interaction protocols adaptation for negotiation in opened multi-agent systems
This page was built for publication: Logic Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5475809)