@inproceedings{DS-fossacs10,
   author = {Demri, St{\'e}phane and Sangnier, Arnaud}, 
   booktitle = {Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'10)}, 
   note={To Appear}, 
   publisher = {Springer}, 
   series = {Lecture Notes in Computer Science}, 
   title = {When Model-Checking Freeze {LTL} over Counter Machines Becomes Decidable}, 
   volume = {6014}, 
   year = {2010}, 
}