Isabelle logo

Manuel Eberl

Chair for Logic and Verification

Efficient and Verified Computation of Simulation Preorders on NFAs

by Manuel Eberl

Bachelor's thesis at the Technical University of Munich (2012)

Download PDF (467 KiB)

BibTeX:

@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}}
}

Download BibTeX (300 Bytes)