贾斯敏·费希尔;托马斯·亨辛格（Thomas A.Henzinger）。;德扬·尼科维奇;尼尔·皮特曼;Anmol V.辛格。;莫舍·瓦尔迪。 动态反应模块。 （英语） Zbl 1343.68167号 Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901，404-418（2011）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Fisher}等人，Lect。注释计算。科学。6901404--418（2011；Zbl 1343.68167） 全文： 内政部
德扬·尼契科维奇;尼尔·皮特曼 发件人mtl公司到确定性时间自动机。 （英语） Zbl 1290.68077号 Chatterjee，Krishnendu（编辑）等人，时间系统的形式化建模和分析。第八届国际会议，FORMATS 2010，奥地利克洛斯特内堡，2010年9月8-10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15296-2/pbk）。《计算机科学讲义》6246152-167（2010）。MSC公司：65年第68季度 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Ničković}和\textit{N.Piterman}，莱克特。注释计算。科学。6246、152--167（2010年；Zbl 1290.68077） 全文： 内政部