Publications

@techreport{icps-1998-104,
	title = "Advances in parameterized linear diophantine equations for precise program analysis",
	author= "Ph. Clauss",
 	month = "September",
	year  = "1998",
}