Stéphane Demri, Ranko Lazic, Arnaud Sangnier. Model checking memoryful linear-time logics over one-counter automata. Theoretical Computer Science, 411(22-24):2298-2316, 2010. [doi]
@article{DemriLS10, title = {Model checking memoryful linear-time logics over one-counter automata}, author = {Stéphane Demri and Ranko Lazic and Arnaud Sangnier}, year = {2010}, doi = {10.1016/j.tcs.2010.02.021}, url = {http://dx.doi.org/10.1016/j.tcs.2010.02.021}, tags = {model checking, meta-model, logic, Meta-Environment}, researchr = {https://researchr.org/publication/DemriLS10}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {411}, number = {22-24}, pages = {2298-2316}, }