年度	2006
全部作者	郁方
论文名称	Farn Wang;Geng-Dian Huang;Fang Yu, 2006.07, 'TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering, ' IEEE Transactions on Software Engineering, Vol.32, No.7, pp.510-526.(ACM, IEEE, SCI)
卷数	316829
发表日期	2006-07-01