%0 Thesis %1 radetzki2000synthesis %A Radetzki, Martin %D 2000 %K %T Synthesis of digital circuits from object oriented specifications

@phdthesis{radetzki2000synthesis, added-at = {2023-12-12T19:46:17.000+0100}, author = {Radetzki, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2223da7d8579d8daf7e5d2efa2a5f724a/admin}, dnbtitleid = {960906045}, interhash = {25ce2fe2111dc712c074b67b954b0f02}, intrahash = {223da7d8579d8daf7e5d2efa2a5f724a}, keywords = {}, school = {Uni Oldenburg}, timestamp = {2023-12-12T19:46:17.000+0100}, title = {Synthesis of digital circuits from object oriented specifications}, year = 2000 }