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

@mastersthesis{5210ce684f1c41c6a92ae2c0d61a0e69, added-at = {2017-10-25T15:53:51.000+0200}, author = {Pflüger, Hermann}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29566384cc04329e7058d047a1d5dd042/mueller}, description = {Untersuchung von Eindeutigen Büchi Automaten}, interhash = {f1e2f053b6c1f7324de857ce000fdf6e}, intrahash = {9566384cc04329e7058d047a1d5dd042}, keywords = {2012 vis(us) vis-gis visus:pflueghn}, school = {Universität Stuttgart}, timestamp = {2017-10-25T13:53:51.000+0200}, title = {Untersuchung von Eindeutigen Büchi Automaten}, year = 2012 }