%0 Thesis %1 hinrichsen2000transformativer %A Hinrichsen, Holger %D 2000 %K %T Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen

@phdthesis{hinrichsen2000transformativer, added-at = {2023-12-13T09:19:57.000+0100}, author = {Hinrichsen, Holger}, biburl = {https://www.bibsonomy.org/bibtex/27d351718a86d34d521b1b5000ffc6fe1/admin}, dnbtitleid = {962731447}, interhash = {cd1a3a345294699df3e892635c02485b}, intrahash = {7d351718a86d34d521b1b5000ffc6fe1}, keywords = {}, school = {TU Darmstadt}, timestamp = {2023-12-13T09:19:57.000+0100}, title = {Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen}, year = 2000 }