%0 Thesis %1 herber2010framework %A Herber, Paula %D 2010 %K dnb Informatik %T ˜Aœ framework for automated HW/SW co-verification of SystemC designs using timed automata

@phdthesis{herber2010framework, added-at = {2015-09-07T22:08:09.000+0200}, author = {Herber, Paula}, biburl = {https://www.bibsonomy.org/bibtex/2fb89a7edffd54cdd47ec9e437521783f/genealogie}, dnbtitleid = {1003635261}, interhash = {74772f10b1a059c70aded8cd9ea88f36}, intrahash = {fb89a7edffd54cdd47ec9e437521783f}, keywords = {dnb Informatik}, school = {TU Berlin}, timestamp = {2016-05-30T18:52:59.000+0200}, title = {˜Aœ framework for automated HW/SW co-verification of SystemC designs using timed automata}, year = 2010 }