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

@phdthesis{herber2010framework, added-at = {2023-12-13T01:39:05.000+0100}, author = {Herber, Paula}, biburl = {https://www.bibsonomy.org/bibtex/2fb89a7edffd54cdd47ec9e437521783f/admin}, dnbtitleid = {1003635261}, interhash = {74772f10b1a059c70aded8cd9ea88f36}, intrahash = {fb89a7edffd54cdd47ec9e437521783f}, keywords = {}, school = {TU Berlin}, timestamp = {2023-12-13T01:39:05.000+0100}, title = {˜Aœ framework for automated HW/SW co-verification of SystemC designs using timed automata}, year = 2010 }