米罗斯·库考斯基;沃伊切赫·彭泽克 基于时间自动机的时间安全协议模型检查。 (英语) Zbl 1189.68075号 芬丹。通知。 93,编号1-3,245-259(2009).MSC公司:60年第68季度 68第25页 65年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kurkowski}和\textit{W.Penczek},Fundam。通知。93,编号1--3,245--259(2009;Zbl 1189.68075)
安德烈·兹布雷泽兹尼;沃纳、博埃纳 在VerICS中验证Java程序。 (英语) Zbl 1167.68383号 芬丹。通知。 85,编号1-4,533-548(2008).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Zbrzezny}和\textit{B.Woźna},Fundam。通知。85,编号1--4,533--548(2008;Zbl 1167.68383)
阿加塔·雅诺夫斯卡;PawełJanowski 离散数据的时间自动机切片。 (英语) Zbl 1097.68061号 芬丹。通知。 72,编号1-3,181-195(2006).MSC公司:65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Janowska}和\textit{P.Janowski},Fundam。通知。72,编号1--3,181--195(2006;Zbl 1097.68061)