@会议记录{herbreteau_et_al:LIPIcs.FSTTCS.2016.48,author={Herbreteau,神父{e} d日\'{e} 里克以及Srivathsan,B.和Tran,Thanh-Tung和Walukiewicz,Igor},title={{为什么时间自动机很难生存,以及我们可以做些什么}},booktitle={第36届IARCS软件技术与理论计算机科学基础年会(FSTTCS 2016)},页数={48:1--48:14},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-027-9},ISSN={1868-8969},年份={2016年},体积={65},editor={Lal,Akash and Akshay,S.和Saurabh,Saket and Sen,Sandeep},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2016.48},URN={URN:nbn:de:0030-drops-68831},doi={10.4230/LPIcs.FSTTCS.2016.48},annote={关键词:时间自动机,模型检查,活性不变量,状态包含}}