马丁·范策尔;马赫萨·希尔穆罕默德;马尼省斯瓦米纳坦;詹姆斯·沃雷尔 定价时间自动机的成本和回报。 （英语） Zbl 1483.68168号 Inf.计算。 282，文章ID 104656，17 p.（2022）.MSC公司：65年第68季度 03B25号 11日72 2005年11月 91B02型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，《信息计算》。282，文章ID 104656，17 p.（2022；Zbl 1483.68168） 全文： 内政部 arXiv公司 链接
马丁·范策尔;马赫萨·希尔穆罕默德;马尼省斯瓦米纳坦;詹姆斯·沃雷尔 定价时间自动机的成本和回报。 （英语） Zbl 1483.68167号 Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第125条，第14页（2018年）。MSC公司：65年第68季度 03B25号 11日72 2005年11月 91B02型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，LIPIcs——莱布尼茨国际程序。通知。107，第125条，第14页（2018；Zbl 1483.68167） 全文： 内政部
桑吉瓦·普拉萨德 最佳模拟：一个比较可重新配置架构在工作负载和截止日期上的效率的框架。 （英语） Zbl 1400.68043号 J.日志。阿尔盖布。方法计划。 100, 1-15 (2018).MSC公司：64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Prasad}，J.Log。阿尔盖布。方法程序。100，1-15（2018年；兹比尔1400.68043） 全文： 内政部 arXiv公司
帕特里夏·鲍耶;乌里·法伦贝格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 模型检查实时系统。 （英语） Zbl 1392.68235号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235） 全文： 内政部 哈尔
乌里·法伦贝格;Larsen，Kim G。;Legay、Axel 实时系统的基于模型的验证、优化、综合和性能评估。 （英语） Zbl 1445.68132号 刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 67-108 (2013).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。注释计算。科学。8050，67--108（2013；Zbl 1445.68132） 全文： 内政部 哈尔
Waez，Md Tawhid Bin;朱尔根·丁格尔;鲁迪、凯伦 实时系统开发中的时间自动机综述。 （英语） Zbl 1302.68180号 计算。科学。版次。 9, 1-26 (2013).MSC公司：65年第68季度 68问题55 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.T.B.Waez}等人，计算。科学。第9版，1-26（2013；Zbl 1302.68180） 全文： 内政部
拜尔，C。;E.M.哈恩。;B.R.哈维尔科特。;H·赫尔曼斯。;J.-P.卡托恩。 模型性能检查。 （英语） Zbl 1358.68181号 数学。结构。计算。科学。 23，第4期，751-795（2013）.MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，数学。结构。计算。科学。23，第4号，751--795（2013；Zbl 1358.68181） 全文： 内政部
卡琳·夸斯 基于可识别时间序列的支持。 （英语） 兹比尔1262.68094 Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，243-257（2009）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Quaas}，莱克特。注释计算。科学。5813、243-257（2009年；Zbl 1262.68094） 全文： 内政部
马丁·范策尔;马尼省斯瓦米纳坦 重温多值时间自动机的可判定性和最优可达性。 （英语） Zbl 1262.68090号 Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，149-163（2009）。MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}和\textit{M.Swaminathan}，莱克特。注释计算。科学。5813、149--163（2009年；Zbl 1262.68090） 全文： 内政部
尤罕·博伊库特;海姆，皮尔雷·科里尔;奥尔加·库什纳伦科 如何处理整数加权自动机的正性。 （英语） Zbl 1260.68196号 Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿579779-92（2009）。MSC公司：65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Boichut}等人，Lect。注释计算。科学。5797、79-92（2009年；Zbl 1260.68196） 全文： 内政部 链接
马尔钦·尤尔季安斯基;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 凹定价概率时间自动机。 （英语） Zbl 1254.68136号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，415-430（2009）。MSC公司：65年第68季度 2017年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Jurdziñski}等人，莱克特。注释计算。科学。5710415-430（2009年；兹比尔1254.68136） 全文： 内政部 链接