%0 Journal Article %1 journals/it/Herber12 %A Herber, Paula %D 2012 %J it - Information Technology %K %N 6 %P 296- %T Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata. %U http://dblp.uni-trier.de/db/journals/it/it54.html#Herber12 %V 54

@article{journals/it/Herber12, added-at = {2023-12-13T01:30:51.000+0100}, author = {Herber, Paula}, biburl = {https://www.bibsonomy.org/bibtex/26b4277b5ab20b9268fcaa25f50f882e3/admin}, ee = {http://dx.doi.org/10.1524/itit.2012.0692}, interhash = {72a05553594c5e5a5a300b35398fa931}, intrahash = {6b4277b5ab20b9268fcaa25f50f882e3}, journal = {it - Information Technology}, keywords = {}, number = 6, pages = {296-}, timestamp = {2023-12-13T01:30:51.000+0100}, title = {Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata.}, url = {http://dblp.uni-trier.de/db/journals/it/it54.html#Herber12}, volume = 54, year = 2012 }