丹尼尔·格布勒；Larsen，Kim G。；西蒙·蒂尼 基于概率过程计算的组合互模拟度量推理。 （英语） Zbl 1398.68365号 日志。方法计算。科学。 12，第4号，第12号论文，38页（2016）.MSC公司：68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gebler}等人，《日志》。方法计算。科学。12，第4号，第12号论文，38页（2016；Zbl 1398.68365） 全文： 内政部
丹尼尔·格布勒；金·古德斯特兰·拉森；西蒙·蒂尼 基于概率过程计算的组合度量推理。 （英语） Zbl 1459.68143号 Andrew Pitts（编辑），《软件科学和计算结构基础》。第18届国际会议，FOSSACS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9034, 230-245 (2015).MSC公司：68问题85 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gebler}等人，Lect。注释计算。科学。9034，230-245（2015；Zbl 1459.68143） 全文： 内政部 arXiv公司