An Approach to the Verification of Symmetric Parameterized Distributed Systems

被引：0

作者：

I. V. Konnov

V. A. Zakharov

机构：

[1] Moscow State University,Faculty of Computational Mathematics and Cybernetics

来源：

Programming and Computer Software | 2005年 / 31卷

关键词：

Operating System; Artificial Intelligence; Software Engineer;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：225 / 236

页数：11