@INPROCEEDINGS{MBCRS:TACAS07,
  AUTHOR =       {R. Manevich and J. Berdine and B. Cook and G. Ramalingam and M. Sagiv},
  TITLE =        {Shape Analysis by Graph Decomposition},
  BOOKTITLE =    {Tools and Algorithms for the Construction and Analysis of Systems},
  YEAR =         {2007},
  editor =       {O. Grumberg and M. Huth},
  month =        {Mar},
  pages =        {3--18},
  publisher =    {Springer}
}