Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell. Model Checking Flat Freeze LTL on One-Counter Automata. In Josée Desharnais, Radha Jagadeesan, editors, 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada. Volume 59 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
Abstract is missing.