@inproceedings{inproceedings:cav_h1_07,
	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	= {Proc. of the 19th International Conference on Computer Aided Verification (CAV'07)},
	year		= 2007,
	series		= {Lecture Notes in Computer Science},
	pages		= {312--315},
	publisher	= {Springer-Verlag},
	isbn		= {978-3-540-73367-6},
	address		= {Berlin, Heidelberg, New York},
}