巴伯，贝诺；尼古拉斯·巴塞特；马克·比昂纳多；玛尔塔·奎亚特科夫斯卡 时间自动机的统一采样及其在语言包含性测量中的应用。 （英语） Zbl 1377.68126号 Agha，Gul（编辑）等人，《系统的定量评估》。第13届国际会议，2016年QEST，加拿大魁北克市，QC，2016年8月23日至25日。诉讼程序。查姆：施普林格（ISBN 978-3-319-43424-7/pbk；978-3-3169-43425-4/电子书）。计算机科学讲座笔记9826175-190（2016）。MSC公司：60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Barbot}等人，Lect。注释计算。科学。9826、175--190（2016年；Zbl 1377.68126） 全文： 内政部 链接
安帕罗雷，埃尔维奥·吉尔伯托；保罗·巴拉里尼；马可·贝库蒂；苏珊娜·多纳泰利；弗朗西斯基尼，朱利安娜 用HASL表示和计算GSPN模型的通过时间度量。 （英语） Zbl 1381.68193号 Colom，José-Manuel（编辑）等人，《Petri网和并发的应用和理论》。第34届国际会议，2013年6月24日至28日，意大利米兰，PETRI NETS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38696-1/pbk）。计算机科学课堂讲稿7927110-129（2013）。MSC公司：68问题85 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Amparore}等人，Lect。注释计算。科学。7927、110-129（2013；Zbl 1381.68193） 全文： 内政部 哈尔
巴伯，贝诺；谢尔盖·哈达德；克劳迪娜·皮卡罗尼 统计模型检验的耦合和重要性抽样。 （英语） Zbl 1352.68143号 Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，331-346（2012）。MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Barbot}等人，Lect。注释计算。科学。7214，331--346（2012；Zbl 1352.68143） 全文： 内政部