克里希南德·查特吉;拉斯穆斯·易卜森·延森;鲁帕克·马朱姆达尔 编辑定时自动机的距离。 (英语) Zbl 1360.68544号 第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。303-312 (2014).MSC公司:第68季度第45季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《第17届ACM混合系统国际会议论文集:计算与控制》,HSCC 2014,德国柏林,2014年4月15-17日。纽约州纽约市:计算机协会(ACM)。303--312(2014;Zbl 1360.68544) 全文: 内政部 链接
罗曼·布伦吉尔;弗兰克·卡塞兹;让-弗朗索瓦·拉斯金 能量和平均值计时游戏。 (英语) Zbl 1362.91003号 第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。283-292 (2014).MSC公司:91A05级 第68季度第45季度 68周05 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Brenguier}等人,in:第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15-17日。纽约州纽约市:计算机协会(ACM)。283-292(2014年;兹比尔1362.91003) 全文: 内政部 链接