Pages that link to "Item:Q3576330"
From MaRDI portal
The following pages link to Specification and Verification of Multi-agent Systems (Q3576330):
Displaying 4 items.
- Where logic and agents meet (Q657584) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)