最大デッドロックフリー可制御部分述語の計算とその警報機設計への応用
最大デッドロックフリー可制御部分述語の計算とその警報機設計への応用
复制标题
最大无死锁可控子谓词计算及其在报警系统设计中的应用
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
高井 重昌
中科院分区：
文献类型：
--
作者：
梁瀬 裕行;潮 俊光;足立 正和;高井 重昌
