@inproceedings{Eisinger.2008,
  author = 	 {Jochen Eisinger},
  title = 	 {Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic},
  booktitle =	{Proc. of the 17th EACSL Annual Conference on
	  Computer Science Logic (CSL'08)},
	year		= 2008,
	series		= {Lecture Notes in Computer Science},
	pages		= {430--444},
	publisher	= {Springer-Verlag},
	address		= {Berlin, Heidelberg, New York},
}