@InProceedings{VMCAI:AMSS06,
 author    = "Gilad Arnold and Roman Manevich and Mooly Sagiv and Ran Shaham",
 title     = "Combining Shape Analyses by Intersecting Abstractions",
 editor    = "E. Allen Emerson",
 booktitle = "Proceedings of the 7th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2006",
 series    = "Lecture Notes in Computer Science",
 volume    = "",
 publisher = "Springer",
 note      = "Available at http://www.cs.tau.ac.il/$\sim$rumster/vmcai06.pdf",
 month     = jan,
 location  = "Charleston, South Carolina, U.S.A."
 day       = "8--10",
 year      = 2006,
 pages     = "33--48"
}