沃纳·什尼亚克,波ẓ埃纳;安德烈·兹布雷泽兹尼 存在模型检查问题从MITL转换为HLTL。 (英语) Zbl 1283.68217号 芬丹。通知。 122,第4期,401-420(2013). 审核人:维克托·舒潘(法国) MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Woźna-Szcze shi niak}和\textit{A.Zbrzezny},Fundam。通知。122,编号4401-420(2013;兹bl 1283.68217) 全文: DOI程序
安德烈·兹布雷泽兹尼;沃纳、博埃纳 在VerICS中验证Java程序。 (英语) Zbl 1167.68383号 芬丹。通知。 85,编号1-4,533-548(2008).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Zbrzezny}和\textit{B.Wo罗兹纳},芬达姆。通知。85,编号1--4,533--548(2008;Zbl 1167.68383)
安德烈·兹布雷泽兹尼 基于SAT的对角约束时间自动机可达性检验。 (英语) Zbl 1096.68087号 芬丹。通知。 67,编号1-3,303-322(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Zbrzezny},Fundam(芬丹)。通知。67,编号1--3,303--322(2005;Zbl 1096.68087)