位置:成果数据库 > 会议 > 会议详情页
On the Semantics of Markov Automata
  • 所属机构名称:上海交通大学
  • 会议名称:The 38th International Colloquium on Automata, Languages and Programming, ICALP'11
  • 时间:2011.7.4
  • 成果类型:会议
  • 相关项目:M-可解性、M-计算复杂性与计算机科学的模型理论
同会议论文项目
期刊论文 26 会议论文 51 获奖 5 著作 1
同项目会议论文