@InProceedings{Becker_Dax_Eisinger_Klaedtke:LIRA,
  author =       {Bernd Becker and Christian Dax and Jochen Eisinger and Felix Klaedtke},
  title =        {{LIRA}: Handling Constraints of Linear Arithmetics over the Integers and the Reals},
  booktitle =    {Proceedings of the 19th International Conference on Computer Aided Verification (CAV'07)},
  pages =        {307--310},
  year =         {2007},
  volume =       {4590},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}