卡罗琳·塔尔科特;法哈德·阿尔巴;曼尼什亚达夫 软代理：探索软约束以建模健壮的自适应分布式网络物理代理系统。 （英语） Zbl 1454.68148号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 273-290 (2015).MSC公司：68T42型 64岁以下 2012年第68季度 93甲16 PDF格式BibTeX公司 XML格式引用 \textit{C.Talcott}等人，Lect。注释计算。科学。8950273--290（2015年；Zbl 1454.68148） 全文： DOI程序 链接
乔纳森·米切尔。;托马斯·卡尔。 恶性疟原虫疟疾宿主内模型中交叉反应免疫反应引起的振荡。 （英语） Zbl 1189.92054号 牛市。数学。生物。 72，第3号，590-610（2010）.MSC公司：92 C50 34D20型 34C60个 93A30型 37N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Mitchell}和\textit{T.W.Carr}，公牛。数学。生物学72，第3期，590--610（2010；Zbl 1189.92054） 全文： DOI程序