004.052

N. Garanina E. Sidorova A Verification Method for a Family of Multi-agent Systems of Ambiguity Resolution // System Informatics. — . — # 8.  — P. 1-10
N. Garanina Model Checking Multi-agent Sliding Window Protocol // System Informatics. — . — # 1.  — P. 35-48
N. Garanina V. Zyubin T. Liakh Ontological Approach to Organizing Specification Patterns in the Framework of Support System for Formal Verification of Distributed Program Systems // System Informatics. — . — # 9.  — P. 111-132
Subscribe to 004.052