@mastersthesis{eberl12,
 author = {Eberl, Manuel},
 title = {Efficient and Verified Computation of Simulation Preorders on NFAs},
 year = {2012},
 month = {10},
 school = {Technical University of Munich},
 type = {Bachelor's thesis},
 note = {\url{https://www21.in.tum.de/~eberlm/pdfs/nfasim.pdf}}
}