Publications

@techreport{icps-1997-56,
	title = "Deriving Formulae to Count Solutions to Parameterized Linear Systems using Ehrhart Polynomials: Applications to the Analysis of Nested-Loop Programs",
	author= "Ph. Clauss and V. Loechner and D.K. Wilde",
 	month = "",
	year  = "1997",
}