伊斯兰，马里兰州Ariful;兰斯·克莱维兰;弗拉维奥·芬顿。;拉杜·格罗苏;保罗·琼斯。;斯科特·斯莫尔卡。 心脏交替多参数分岔分析的概率可达性。 （英语） Zbl 1427.92054号 西奥。计算。科学。 765, 158-169 (2019).MSC公司：92 C55 34C23型 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{Md.A.Islam}等人，Theor。计算。科学。765158-169（2019年；Zbl 1427.92054） 全文： 内政部
马塞洛·巴尔杜奇尼;丹尼尔·马加泽尼;马可·马拉提亚;艾米丽·勒布朗（Emily C.Leblanc）。 用于混合域规划的CASP解决方案。 （英语） Zbl 1379.68039号 理论与实践。日志。程序。 17，第4号，591-633（2017）.MSC公司：68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Balduccini}等人，《理论与实践》。日志。程序。17，第4号，591--633（2017；Zbl 1379.68039） 全文： 内政部 arXiv公司
艾丽卡·阿尔布拉汉姆;基里恩·克莱默 满意度检验：理论与应用。 （英语） Zbl 1390.68569号 De Nicola，Rocco（编辑）等人，《软件工程和形式化方法》。2016年7月4日至8日，作为2016年STAF的一部分，在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-41590-1/pbk；978-3-316-41591-8/电子书）。《计算机科学讲义》9763，9-23（2016）。MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}和\textit{G.Kremer}，莱克特。注释计算。科学。9763，9--23（2016；Zbl 1390.68569） 全文： 内政部