@会议记录{bolotov_et_al:LIPIcs.TIME.2018.5,author={博洛托夫、亚历山大和赫莫、蒙特塞拉特和卢西奥、帕基},title={{扩展ECTL+的公平性表达:树型单通表方法}},booktitle={第25届时间表征与推理国际研讨会(TIME 2018)},页数={5:1--5:22},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-089-7},ISSN={1868-8969},年份={2018年},体积={120},editor={Alechina、Natasha和N{\o}rv\r{a} 克、凯蒂尔和彭泽克、沃伊切赫}、,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.5},URN={URN:nbn:de:0030-drops-97704},doi={10.4230/LIPIcs.TIME.2018.5},annote={关键词:时间逻辑,公平,tableau,分支时间,单程tableau}}