Sign in| Register
  • 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