司元杰;孙骏;刘,杨;董金松;庞、军;张绍杰;杨小虎 使用PAT进行公平假设的模型检查。 (英语) Zbl 1425.68269号 前面。计算。科学。 8,第1期,第1-16页(2014年).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Si}等人,前。计算。科学。8,第1号,1--16(2014;Zbl 1425.68269) 全文: 内政部 链接
李,齐;巴,魏 一种组优先级最早截止时间优先调度算法。 (英语) Zbl 1251.68047号 前面。计算。科学。 6,第5期,560-567(2012).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{Q.Li}和\textit{W.Ba},前面。计算。科学。6,第5号,560--567(2012;Zbl 1251.68047) 全文: 内政部