Formal Verification of Algorithms for Automata and Model Checking - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Julian Brunner 0001. Formal Verification of Algorithms for Automata and Model Checking. PhD thesis, Technical University of Munich, Germany, 2022. [doi]

@phdthesis{dnb-25824,
  title = {Formal Verification of Algorithms for Automata and Model Checking},
  author = {Julian Brunner 0001},
  year = {2022},
  url = {https://d-nb.info/1286082528},
  researchr = {https://researchr.org/publication/dnb-25824},
  cites = {0},
  citedby = {0},
  school = {Technical University of Munich, Germany},
}

runs on WebDSL