何希明;约尔·瓦克宁;詹姆斯·沃雷尔 关于度量时态逻辑的表达和监控。 (英语) Zbl 1515.68181号 日志。方法计算。科学。 15,第2号,第13号论文,52页(2019年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,日志。方法计算。科学。15,第2号,第13号论文,52页(2019年;Zbl 1515.68181) 全文: arXiv公司
约尔·瓦克宁;詹姆斯·沃雷尔 定时CSP=关闭的定时自动机。 (英语) 兹比尔1270.68219 Nestmann,Uwe(编辑)等人,EXPRESS'02。2002年8月19日在捷克共和国布尔诺举行的第九届并发表达能力国际研讨会上发表的论文。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记68,第2期,142-159页(2002年)。MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}和\textit{J.Worrell},电子。注释Theor。计算。科学。68,第2号,142--159(2002;Zbl 1270.68219) 全文: 内政部