哈桑·莫塔列比;穆罕默德·阿卜杜拉希·阿兹戈米 使用多奇异混合Petri网对混合动态系统进行建模和验证。 (英语) Zbl 1262.68139号 西奥。计算。科学。 446, 48-74 (2012).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Motallebi}和\textit{M.A.Azgomi},Theor。计算。科学。446、48--74(2012;Zbl 1262.68139) 全文: 内政部
马丁·德·沃尔夫;劳伦特·多恩;让-弗朗索瓦·拉斯金 几乎ASAP语义:从定时模型到定时实现。 (英语) Zbl 1101.68670号 正式Asp。计算。 17,第3期,319-341(2005).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人,正式Asp。计算。17,第3号,319--341(2005;Zbl 1101.68670) 全文: 内政部
王法恩 具有类BDD数据结构的线性混合系统的符号参数安全分析。 (英语) 兹比尔1103.68642 Alur,Rajeev(编辑)等人,《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22342-8/pbk)。计算机科学讲义3114,295-307(2004)。MSC公司:60年第68季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang},莱克特。注释计算。科学。3114295-307(2004;Zbl 1103.68642) 全文: 内政部