Dokter,Kasper公司;法比奥·加杜奇;本杰明·利昂;弗朗西斯科·桑蒂尼 带记忆的软约束自动机。 (英语) 兹比尔1455.68087 J.日志。阿尔盖布。方法计划。 118,文章ID 100615,第17页(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}等人,J.Log。阿尔盖布。方法程序。118,文章ID 100615,17 p.(2021;Zbl 1455.68087) 全文: 内政部 链接
Dokter,Kasper公司;宋世宗曼;法哈德·阿尔巴;西蒙·布利兹 合并与征服:关联BIP和Reo。 (英语) 兹比尔1353.68201 J.日志。阿尔盖布。方法计划。 86,第1期,134-156(2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}等人,J.Log。阿尔盖布。方法程序。86,第1号,134--156(2017;Zbl 1353.68201) 全文: 内政部 链接