哈维尔·埃斯帕尔扎 回到未来：重新审视线性时序逻辑。 （英语） Zbl 07495100号 Maneth，Sebastian（编辑），自动机的实现和应用。第25届国际会议，CIAA 2021，虚拟活动，2021年7月19日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12803, 3-13 (2021).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}，莱克特。注释计算。科学。12803，3--13（2021；Zbl 07495100） 全文： 内政部
哈维尔·埃斯帕尔扎;简·Křetínsk;所罗门·西克特 从LTL到确定性自动机。一种不安全的合成方法。 （英语） 兹比尔1368.68233 形式方法系统。设计。 49，第3期，219-271（2016）.MSC公司：65年第68季度 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人，《形式方法系统》。设计。49，第3号，219--271（2016；Zbl 1368.68233） 全文： 内政部 arXiv公司