埃蒂安·安德烈 模仿者3：超越可判定性的时序参数合成。 （英语） Zbl 1493.68202号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 552-565 (2021).MSC公司：第68季度第60季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·安德烈}，莱克特。注释计算。科学。12759、552--565（2021；Zbl 1493.68202） 全文： 内政部
张慧;吴金钊 MPSoC数据动态的形式验证和定量度量。 （英语） Zbl 1382.68145号 正式Asp。计算。 30，第2期，219-237（2018）.MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{J.Wu}，正式Asp。计算。30，编号219-237（2018；兹bl 1382.68145） 全文： 内政部