@inproceedings{DLS-fossacs08,
   author = {Demri, St{\'e}phane and Lazi{\'c}, Ranko and Sangnier, Arnaud}, 
   booktitle = {Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'08)}, 
   pages = {490-504}, 
   publisher = {Springer}, 
   series = {Lecture Notes in Computer Science}, 
   title = {Model checking freeze {LTL} over one-counter automata}, 
   volume = {4962}, 
   year = {2008}, 
}