@inproceedings{BFLS-avis06, 
   author = {Bardin, S{\'e}bastien and Finkel, Alain and Lozes, {\'E}tienne and Sangnier, Arnaud}, 
   booktitle = {Proceedings of the 5th International Workshop on Automated Verification of Infinite-State Systems (AVIS'06)},
   title = {From Pointer Systems to Counter Systems Using Shape Analysis}, 
   year = {2006}
}