%0 Thesis %1 phd/dnb/Brunner22a %A Brunner, Julian %D 2022 %K dblp %T Formal Verification of Algorithms for Automata and Model Checking.

@phdthesis{phd/dnb/Brunner22a, added-at = {2023-04-19T00:00:00.000+0200}, author = {Brunner, Julian}, biburl = {https://www.bibsonomy.org/bibtex/207918bfb23b0a4bc68d4e804710712bd/dblp}, ee = {https://d-nb.info/1286082528}, interhash = {5745ea34dcff9262517b92bfaca9efed}, intrahash = {07918bfb23b0a4bc68d4e804710712bd}, keywords = {dblp}, school = {Technical University of Munich, Germany}, timestamp = {2024-04-09T08:41:11.000+0200}, title = {Formal Verification of Algorithms for Automata and Model Checking.}, year = 2022 }