Publications

@phdthesis{icps-2004-141,
	title = "Stating and Manipulating Periodicity in the Polytope Model. Applications to Program Analysis and Optimization.",
	author= "Benoît Meister",
 	institution = "Université Louis Pasteur",
	month = "December",
	year  = "2004",
}