@inproceedings{DBLP:conf/sas/SchrammelJ11,
  title = "Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs",
  author = "Peter Schrammel and Bertrand Jeannet",
  year = "2011",
  booktitle = "Static Analysis Symposium, SAS'11",
  pages = "233-248",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6887",
}