搜索筛选:
搜索耗时1.2344秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：CHEN Sheng-bo,MIAO Huai-kou,QI,
来源：通讯和计算机：中英文版 年份：2008
...
[期刊论文] 作者：许庆国,MIAO Huai-kou,
来源：上海大学学报（英文版） 年份：2004
Based on analysis of the syntax structure and semantics model of the metric interval temporal logic (MITL) formulas, it is shown how to transform a formula writ...
相关搜索：
