搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Gregor von Bochmann
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
,2006, 引用: 2
,1999, 引用: 6
,1988, 引用: 17
An Analysis of the Information Technology Standardization Process,1990, 引用: 0
,1988, 引用: 0
local computer networks,1993, 引用: 23
computer aided verification,1990, 引用: 162
,2005, 引用: 73
,2003, 引用: 114
formal methods,1993, 引用: 31
