@inproceedings{FLS-ilc07,
   author = {Finkel, Alain and Lozes, {\'E}tienne and Sangnier, Arnaud},
   booktitle = {Proceedings of the 1st International Conference on Infinity in Logic \& Computation (ILC'07)},
   title = {Towards Model Checking Pointer Systems},
   year = {2007}, 
}