%0 Thesis %1 morgenstern2011effiziente %A Morgenstern, Haiko %D 2011 %K %T Effiziente Verifikation der Robustheit komplexer integrierter Schaltungen

@phdthesis{morgenstern2011effiziente, added-at = {2023-12-13T09:13:57.000+0100}, author = {Morgenstern, Haiko}, biburl = {https://www.bibsonomy.org/bibtex/23e0277aea8d7f990d4a4894b3e69c793/admin}, dnbtitleid = {1014756731}, interhash = {cc3561e02cfd09d09362321f209f206a}, intrahash = {3e0277aea8d7f990d4a4894b3e69c793}, keywords = {}, school = {TU Berlin}, timestamp = {2023-12-13T09:13:57.000+0100}, title = {Effiziente Verifikation der Robustheit komplexer integrierter Schaltungen}, year = 2011 }