帕特里夏·鲍耶;保罗·加斯丁;弗雷德里克·赫布雷托;奥坎·桑库尔;Srivathsan，B。 时间自动机的分区验证：外推、模拟和下一步？ （英语） Zbl 07643426号 Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).MSC公司：第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；Zbl 07643426） 全文： 内政部 arXiv公司
格钦·诺曼;大卫·帕克;杰里米·斯普洛斯顿 概率时间自动机的模型检验。 （英语） Zbl 1291.68265号 形式方法系统。设计。 43，第2期，164-190（2013）.MSC公司：60年第68季度 87年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人，《形式方法系统》。设计。43，第2号，164--190（2013；Zbl 1291.68265） 全文： 内政部 链接