贝拉德，B。;哈达德，S。;皮卡罗尼，C。;Safey El Din，M。;萨索拉斯，M。 多项式中断时间自动机：验证和表达。 （英语） Zbl 1475.68145号 Inf.计算。 277，文章ID 104580，15 p.（2021）.MSC公司：65年第68季度 03B70号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，《信息计算》。277，文章ID 104580，15 p.（2021；Zbl 1475.68145） 全文： 内政部 哈尔
凯瑟琳·科德威尔;安德烈·普拉泽 面向物理混合系统。 （英语） Zbl 07178978号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 216-232 (2019).MSC公司：60年第68季度 03B70号 93立方 PDF格式BibTeX公司 XML格式引用 \textit{K.Cordwell}和\textit{A.Platzer}，莱克特。注释计算。科学。11716、216——232（2019；Zbl 07178978） 全文： 内政部 arXiv公司
贝拉德，贝特里奇;帕特里夏·鲍耶;文森特·朱格 具有重叠轨迹的动力系统的有限互模拟。 （英语） Zbl 1528.68175号 Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。119，第26条，第17页（2018年）。MSC公司：65年第68季度 03B25号 03C64号 60年第68季度 68问题85 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，LIPIcs--Leibniz Int.Proc。通知。119，第26条，第17页（2018；Zbl 1528.68175） 全文： 内政部
布里杰什·多戈尔;伊恩·海耶斯。;彼得·罗宾逊。 关于目标导向的实时远程反应程序的推理。 （英语） Zbl 1342.68060号 正式Asp。计算。 26，第3期，563-589（2014）.MSC公司：68甲19 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人，《正式Asp》。计算。26，第3号，563--589（2014；Zbl 1342.68060） 全文： 内政部 链接
苏曼·罗伊 具有邻域模式的持续时间演算。 （英语） Zbl 1242.68169号 J.应用。非类别。日志。 20，编号1-2，81-126（2010）.MSC公司：60年第68季度 03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Roy}，J.Appl。非类别。日志。20，编号1--2，81-126（2010；Zbl 1242.68169） 全文： 内政部