马丁·斯特雷克 图形转换的交互式和自动化证明。 （英语） Zbl 1398.68286号 数学。结构。计算。科学。 28，第8期，1333-1362（2018）.MSC公司：第68季度第42季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Strecker}，数学。结构。计算。科学。28，第8号，1333--1362（2018；Zbl 1398.68286） 全文： 内政部
亚历杭德罗·桑切斯；塞萨尔·桑切斯 参数化验证图：对称参数化并发系统的时间验证。 （英语） Zbl 1419.68064号 安。数学。Artif公司。智力。 80，编号3-4，249-282（2017）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Sánchez}和\textit{C.Sátchez}.安.数学。Artif公司。智力。80，编号3--4，249--282（2017；Zbl 1419.68064） 全文： 内政部
托马斯·怀斯；马尔科·穆尼兹；维克多·昆卡 命令树数据结构的有效决策过程。 （英语） Zbl 1341.68034号 Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，476-491（2011）。MSC公司：68第05页 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛T.Wies｝等人，Lect。票据计算。科学。6803476--491（2011年；Zbl 1341.68034） 全文： 内政部 链接
艾哈迈德·博阿贾尼；塞扎拉·奥盖医生；康斯坦丁埃纳；米哈埃拉·西希雷亚努 用于复合数据结构推理的基于逻辑的框架。 （英语） Zbl 1254.68146号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710178-195（2009）。MSC公司：60年第68季度 03B44号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人，Lect。票据计算。科学。5710178-195（2009年；Zbl 1254.68146） 全文： 内政部
格雷塔·约什；亚历山大·拉比诺维奇；穆利·萨吉夫；安托万·梅耶；艾哈迈德·博阿贾尼 链接数据结构中可访问模式的逻辑。 （英语） Zbl 1121.03040号 J.日志。阿尔盖布。程序。 73，编号1-2，111-142（2007）. 审核人：亚历克斯·纳贝宾（莫斯科） MSC公司：03B70号 03B25号 68第05页 03B15号机组 05年3月 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛G.Yorsh｝等人，J.Log。阿尔盖布。程序。73，编号1--2，111-142（2007；Zbl 1121.03040） 全文： 内政部 arXiv公司