@conference {16359,
	title = {Symbolic model checking of infinite state systems using Presburger arithmetic},
	booktitle = {Computer Aided Verification},
	year = {1997},
	month = {1997///},
	pages = {400 - 411},
	author = {Bultan,T. and Gerber,R. and Pugh, William}
}
