Garanina N., Sidorova E. A Verification Method for a Family of Multi-agent Systems of Ambiguity Resolution // # 8, 2016
Garanina N., Zyubin V., Liakh T. Ontological Approach to Organizing Specification Patterns in the Framework of Support System for Formal Verification of Distributed Program Systems // # 9, 2017
