%0 Thesis %1 schneider1995einheitlicher %A Schneider, Klaus %D 1995 %K dnb Elektrotechnik %T ˜Einœ einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation

@phdthesis{schneider1995einheitlicher, added-at = {2016-05-31T13:17:23.000+0200}, author = {Schneider, Klaus}, biburl = {https://www.bibsonomy.org/bibtex/295a0a460b4bbe70b3e55576a90a0331a/genealogie}, dnbtitleid = {964882450}, interhash = {5404a4ea731e99f486433232f8961a62}, intrahash = {95a0a460b4bbe70b3e55576a90a0331a}, keywords = {dnb Elektrotechnik}, school = {Uni Karlsruhe}, timestamp = {2016-05-31T13:17:23.000+0200}, title = {˜Einœ einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation}, year = 1995 }