张丽君;杨鹏飞;宋磊;霍尔格·赫尔曼斯;克里斯蒂安·艾森特罗;大卫·詹森（David N.Jansen）。;Jens Chr.Godskesen。 实际调度程序的概率互模拟。 （英语） Zbl 1398.68374号 学报信息。 55，第6号，461-488（2018）.MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人，《学报》第55期，第6期，第461--488页（2018年；Zbl 1398.68374） 全文： 内政部
艾森特，克里斯蒂安;Jens Chr.Godskesen。;霍尔格·赫尔曼斯;宋磊;张丽君 实际调度程序的概率互模拟。 （英语） Zbl 1427.68193号 Bjørner，Nikolaj（编辑）等人，FM 2015：正式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9109, 248-264 (2015).MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人，Lect。注释计算。科学。9109、248--264（2015；Zbl 1427.68193） 全文： 内政部