@mastersthesis{Henrix15,
  author = {Marco Henrix},
  title = {Performance Improvement in Automata Learning:
	   Speeding up {L}earn{L}ib using Parallelization and Checkpointing},
  school = {Radboud University Nijmegen},
  year = {2015},
  howpublished = {\url{http://www.ru.nl/publish/pages/769526/z_masterthesismhenrix_marco_henrix.pdf}}
}