弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴 两层可达博弈的顽固集约简。 (英语) Zbl 1501.68002号 日志。方法计算。科学。 17,第1号,第21号论文,第26页(2021年). 审核人:马可·贝尼尼(科莫) MSC公司:68问题85 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人,日志。方法计算。科学。17,第1号,第21号论文,第26页(2021;Zbl 1501.68002) 全文: arXiv公司 链接
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;Larsen,Kim G。;马尔科·穆尼兹;吉·斯尔巴 可达性博弈的部分降阶。 (英语) Zbl 07649931号 Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第23条,第15页(2019年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人,LIPIcs——莱布尼茨国际程序。通知。140,第23条,第15页(2019年;Zbl 07649931) 全文: 内政部
弗雷德里克·伯内兰。;雅各布·迪尔;彼得·詹森(Peter G.Jensen)。;麦德斯·约翰森;吉·斯尔巴 Petri网的顽固与结构简化。 (英语) Zbl 1407.68330号 J.日志。阿尔盖布。方法计划。 102, 46-63 (2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人,J.Log。阿尔盖布。方法计划。102,46-63(2019年;兹比尔1407.68330) 全文: 内政部