牛,尼尔斯;迈赫迪·达斯塔尼 基于规范的机制设计。 (英语) Zbl 1386.68178号 Artif公司。智力。 239, 97-142 (2016).理学硕士:68T42型 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{N.Bulling}和\textit{M.Dastani},Artif。智力。23997--142(2016年;Zbl 1386.68178) 全文: 内政部 链接
沃伊切赫·贾姆罗加;沃伊切赫·彭泽克 多代理系统的规范和验证。 (英语) Zbl 1250.68190号 Nick Bezhanishvili等人,《逻辑和计算讲座》。ESSLLI 2010年丹麦哥本哈根,2010年8月,ESSLLI2011年,斯洛文尼亚卢布尔雅那,2011年8月。精选课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-31484-1/pbk)。计算机科学课堂讲稿7388,210-263(2012)。理学硕士:60年第68季度 03B45号 68T27型 68T42型 91A99型 第91页第14页 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{W.Penczek},莱克特。注释计算。科学。7388210-263(2012年;兹比尔1250.68190) 全文: 内政部