Verifying time, memory and communication bounds in systems of reasoning agents
scientific article; zbMATH DE number 5625284
scientific article