克里斯托夫·哈斯；约尔·瓦克宁；詹姆斯·沃雷尔 在时间自动机和计数器自动机中关联可达性问题。 （英语） 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） 全文： 内政部
迈克尔·布隆丁；阿兰·芬克尔；斯特凡·戈勒；克里斯托夫·哈斯；皮埃尔·麦肯齐 具有状态的二维向量加法系统的可达性是PSPACE完备的。 （英语） Zbl 1401.68095号 2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。32-43 (2015).MSC公司：2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人，in：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。32-43（2015；Zbl 1401.68095） 全文： 内政部 arXiv公司