- Years
- 2011(1)
- 2009(1)
- Indexed by
- 中国科学引文数据库(CSCD)(2)
- 中国科技论文与引文数据库(CSTPCD)(2)
- 北京大学中文核心期刊目录(北大核心)(2)
- Journals
- 北京交通大学学报(1)
- 四川大学学报(工程科学版)(1)
- Affiliations
- 北京交通大学(1)
- Languages
- 汉语(2)
- Keywords
- 互模拟等价(2)
- 多项式程序模型(1)
- 并发(1)
- 概率带测试克林代数(1)
- 概率格局变迁系统(1)
- 结构操作语义(1)
- 非确定性(1)
- More...
- Authors
- 吴尽昭(2)
- 乔瑞(1)
- 邓辉(1)
Relevance
- Relevance
- Publication time
10 per page
- 10 per page
- 20 per page
- 30 items are displayed on each page
2 Articles
- 多项式程序模型的互模拟等价北大核心CSCDCSTPCD
- 概率带测试克林代数北大核心CSCDCSTPCD