西蒙·威默 形式化的时间自动机。 (英文) 兹比尔1478.68183 Blanchette,Jasmin Christian(编辑)等,交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。9807, 425-440 (2016).MSC公司:60年第68季度 65年第68季度 68问题85 68伏15 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{S.Wimmer},莱克特。注释计算。科学。9807425-440(2016年;兹比尔1478.68183) 全文: 内政部
戈麦斯,鲁道夫 将带有截止日期的时间自动机合成为Uppaal时间自动机。 (英文) Zbl 1262.68091号 Ouaknine,Joöl(编辑)等,时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04367-3/pbk)。计算机科学课堂讲稿5813179-194(2009)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gómez},莱克特。注释计算。科学。5813、179--194(2009年;Zbl 1262.68091) 全文: 内政部
Vaandrager,F.W。;德格罗特,A.L。 使用Uppaal和PVS分析双相标记协议。 (英文) Zbl 1102.68505号 正式Asp。计算。 18,第4期,433-458(2006).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.W.Vaandrager}和\textit{A.L.de Groot},正式Asp。计算。18,编号:433-458(2006年;兹bl 1102.68505) 全文: 内政部 链接
迈拉·阿彻 TAME:使用PVS策略进行特殊目的的定理证明。 (英文) Zbl 1001.68127号 安。数学。Artif公司。智力。 29,编号1-4139-181(2000).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Archer},Ann.数学。Artif公司。智力。29,编号1--4,139-181(2000;Zbl 1001.68127) 全文: 内政部