张慧;吴金照 MPSoC数据动态的形式验证和定量度量。 (英语) Zbl 1382.68145号 正式Asp。计算。 30,编号219-237(2018).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{J.Wu},正式Asp。计算。30,第2号,219--237(2018;Zbl 1382.68145) 全文: 内政部
马丁·德·沃尔夫;劳伦特·多恩;Jean-François拉斯金 几乎ASAP语义:从定时模型到定时实现。 (英语) Zbl 1101.68670号 正式Asp。计算。 17,第3期,319-341(2005).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人,正式Asp。计算。17,第319-341号(2005年;兹bl 1101.68670) 全文: 内政部
李宣东;赵建华;郑涛;李勇;郑国良 工期约束的正则表达式。 (英语) Zbl 1086.68076号 正式Asp。计算。 16,第2期,155-163(2004).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人,正式Asp。计算。16,第2号,155--163(2004;Zbl 1086.68076) 全文: 内政部