亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 分支时间逻辑\（\mathsf{ECTL}^{#}\）及其树型单程表：扩展\（\mathsf{ECTL}^+\）的公平性表示。 （英语） 兹比尔1433.03049 理论。计算。科学。 813428-451（2020）。MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}等人，Theor。计算。科学。813428-451（2020年；Zbl 1433.03049） 全文： 内政部
亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 扩展ECTL（^+）的公平性表示：一种树型单程表方法。 （英语） Zbl 1487.68154号 Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。120，第5条，22 p.（2018）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}等人，LIPIcs——莱布尼茨国际程序。通知。120，第5条，22 p.（2018；Zbl 1487.68154） 全文： 内政部