@InProceedings{Sankaranarayana+others/05/Scalable,
  author = 	 {Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna},
  title = 	 {Scalable Analysis of Linear Systems using Mathematical
                       Programming},
  booktitle =    {Proc. of Verification, Model Checking and Abstract
                  Interpretation ({VMCAI})},
  year = 	 2005,
  pages =        {21--47},
  editor = 	 {Radhia Cousot},
  series = 	 lncs,
  volume =       3385,
  address = 	 {Paris, France},
  month = 	 {January},
  publisher = {Springer Verlag},
}