托马斯·亨辛格。;彼得·科普克(Peter W.Kopke)。 矩形混合自动机的离散时间控制。 (英语) Zbl 0930.68086号 西奥。计算。科学。 221,第1-2号,369-392(1999).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{P.W.Kopke},Theor。计算。科学。221,编号1--2,369--392(1999;Zbl 0930.68086) 全文: 内政部
托马斯·亨辛格。;彼得·科普克(Peter W.Kopke)。;阿努吉·普里;普拉文·瓦莱亚 混合自动机的可判定性是什么? (英语) Zbl 0920.68091号 J.计算。系统。科学。 57,第1期,94-124(1998).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,《计算杂志》。系统。科学。57,第1号,94-124(1998;Zbl 0920.68091) 全文: 内政部 链接
托马斯·亨辛格。;彼得·科普克(Peter W.Kopke)。 矩形混合自动机的离散时间控制。 (英语) Zbl 1401.93099号 Degano,Pierpaolo(编辑)等人,《自动化,语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林:Springer-Verlag(ISBN 978-3-540-63165-1/pbk;978-3-540-69194-5/电子书)。计算机科学课堂讲稿1256,582-593(1997)。MSC公司:93亿B50 2017年第68季度 65年第68季度 93立方 93元62角 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{P.W.Kopke},莱克特。注释计算。科学。12561582-593(1997年;兹比尔1401.93099) 全文: 内政部