@bachelorsthesis{lund_10:bachelor,
title = {Formale Analyse von Mastermind},
author = {Rajiv Lund},
url = {https://www-intern.cispa.uni-saarland.de/wordpress/wp-content/uploads/2016/04/Formale-Analyse-von-Mastermind.pdf},
year = {2010},
date = {2010-01-01},
keywords = {}
}