Bollig, Benedikt; Quaas, Karin; Sangnier, Arnaud The complexity of flat freeze LTL. (English) Zbl 1442.68101 Log. Methods Comput. Sci. 15, No. 3, Paper No. 33, 26 p. (2019). MSC: 68Q60 03B44 68Q25 68Q45 PDFBibTeX XMLCite \textit{B. Bollig} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 33, 26 p. (2019; Zbl 1442.68101) Full Text: DOI arXiv
Bollig, Benedikt; Quaas, Karin; Sangnier, Arnaud The complexity of flat freeze LTL. (English) Zbl 1442.68102 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 33, 16 p. (2017). MSC: 68Q60 03B44 68Q25 68Q45 PDFBibTeX XMLCite \textit{B. Bollig} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 33, 16 p. (2017; Zbl 1442.68102) Full Text: DOI