%0 Thesis %1 5210ce684f1c41c6a92ae2c0d61a0e69 %A Pflüger, Hermann %D 2012 %K vis(us) vis-gis vis visus:pflueghn tiger-generation:638684700229105045 %T Untersuchung von Eindeutigen Büchi Automaten

@mastersthesis{5210ce684f1c41c6a92ae2c0d61a0e69, added-at = {2024-11-29T10:43:23.000+0100}, author = {Pflüger, Hermann}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29566384cc04329e7058d047a1d5dd042/tiger}, interhash = {f1e2f053b6c1f7324de857ce000fdf6e}, intrahash = {9566384cc04329e7058d047a1d5dd042}, keywords = {vis(us) vis-gis vis visus:pflueghn tiger-generation:638684700229105045}, timestamp = {2024-11-29T10:43:23.000+0100}, title = {Untersuchung von Eindeutigen Büchi Automaten}, year = 2012 }