# Practical verification of multi-agent systems against Slk specifications

> Research article (Information and Computation, 2017) · cited 28× · AI/ML

**Wikidata**: [openalex:W2754427045](https://www.wikidata.org/wiki/openalex:W2754427045)  
**Source**: https://4ort.xyz/entity/practical-verification-of-multi-agent-systems-against-slk-specifications