贝内迪克特·博利格;曼纽拉·利迪亚·格林德;彼得·哈伯梅尔 并发递归程序的可实现性。 (英语) Zbl 1425.68062号 形式方法系统。设计。 53,第3期,339-362(2018).MSC公司:68号30 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,《形式方法系统》。设计。53,第3号,339--362(2018;Zbl 1425.68062) 全文: 内政部
彼得·哈伯梅尔;卢卡什·霍利克;亚当·罗加列维奇;Šimáckek,Jiří;汤姆·沃纳 用于验证堆操作的森林自动机。 (英语) Zbl 1284.68398号 形式方法系统。设计。 41,第1期,83-106(2012).MSC公司:60年第68季度 65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Habermehl}等人,《形式方法系统》。设计。41,第1号,第83-106条(2012;Zbl 1284.68398) 全文: 内政部
艾哈迈德·博阿贾尼;马吕斯·博兹加;彼得·哈伯梅尔;拉杜·奥西夫;皮埃尔·莫罗;汤姆·沃纳 带有列表的程序是计数器自动机。 (英语) Zbl 1217.68059号 形式方法系统。设计。 38,第2期,158-192(2011).MSC公司:68号30 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《形式方法系统》。设计。38,第2号,158--192(2011;Zbl 1217.68059) 全文: 内政部 哈尔
艾哈迈德·博阿贾尼;彼得·哈伯梅尔;汤姆·沃纳 使用优先FIFO资源管理验证参数并发系统。 (英语) Zbl 1138.68464号 形式方法系统。设计。 32,第2号,129-172(2008).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《形式方法系统》。设计。32,第2号,129--172(2008;Zbl 1138.68464) 全文: 内政部