@MastersThesis{Mai09,
author={V. Maisonneuve},
title={Automatic heuristic-based generation of {MTBDD} variable orderings for {PRISM} models},
school={ENS Cachan \& Oxford University Computing Laboratory},
year={2009},

type={Internship report},
address={},
month={},
note={},
key={}
}