乔纳斯·韦斯特曼;马蒂亚斯·尼贝格 在非单调组合下保持合同的可满足性。 （英语） Zbl 1508.68227号 Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10854, 181-195 (2018).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Westman}和\textit{M.Nyberg}，莱克特。注释计算。科学。10854、181--195（2018年；Zbl 1508.68227） 全文： 内政部 哈尔
乔纳斯·韦斯特曼;马蒂亚斯·尼贝格 异构系统中分离职责的合同条件。 （英语） Zbl 1390.68442号 形式方法系统。设计。 52，第2期，147-192（2018）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Westman}和\textit{M.Nyberg}，《形式方法系统》。设计。52，编号2147-192（2018；兹bl 1390.68442） 全文： 内政部 OA许可证