基于时序逻辑软件构架形式化方法研究

• 作者: 任洪敏 朱承 钱乐秋
• 来源期刊: 计算机科学
• 学科: 工学
• 年，卷（期）: 2003,（5）
• 页码范围: 1-3，11
• 页数: 4页
• 分类号: TP3
• 字数: 5294字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2003.05.001

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱乐秋	复旦大学计算机科学系软件工程实验室	61	1658	21.0	39.0
2	任洪敏	复旦大学计算机科学系软件工程实验室	6	323	5.0	6.0
3	朱承	复旦大学计算机科学系软件工程实验室	1	6	1.0	1.0