丹尼尔·本达拉;乔尔·瓦克宁 关于参数定时自动机和单计数器机器。 （英语） Zbl 1362.68131号 Inf.计算。 253，第2部分，272-303（2017）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bundala}和\textit{J.Ouaknine}，Inf.Comput。253，第2部分，272-303（2017年；兹bl 1362.68131） 全文： 内政部 链接
克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔 将时间自动机和计数器自动机中的可达性问题联系起来。 （英语） Zbl 1357.68106号 芬达姆。通知。 143，编号3-4，317-338（2016）.MSC公司：65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Haase}等人，Fundam。通知。143，编号3--4，317--338（2016；Zbl 1357.68106） 全文： 内政部
克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔 度量时态逻辑的过程代数扩展。 （英语） Zbl 1215.68150号 克利夫·琼斯（编辑）等人，《对C.A.R.霍尔作品的反思》。大多数论文基于2009年4月在英国剑桥举行的庆祝托尼·霍尔75岁生日的会议上的陈述。伦敦：施普林格出版社（ISBN 978-1-84882-911-4/hbk；978-1-848 82-912-1/电子书）。283-300 (2010).MSC公司：68问题85 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Haase}等人，in：对C.A.R.Hoare工作的反思。大多数论文基于2009年4月在英国剑桥举行的庆祝托尼·霍尔75岁生日的会议上的陈述。伦敦：斯普林格。283--300（2010；Zbl 1215.68150） 全文： 内政部