Supported by the National Natural Science Foundation of China under Grant Nos.60773105, 60973149 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2008AA01Z113 (国家高技术研究发展计划(863)); the Fundamental Research Funds for the Central Universities of China under Grant No.2009B04314 (中央高校基本科研业务费专项资金)
张鹏程,李必信,李雯睿.时间属性序列图:语法和语义.软件学报,2010,21(11):2752-2767
复制