%0 Journal Article %1 journals/ei/KeroCMM15 %A Kerö, Nikolaus %A Cadek, Gerhard R. %A Maurer, Erich %A Müller, Tobias %D 2015 %J Elektrotech. Informationstechnik %K dblp %N 6 %P 289-295 %T Design and efficient verification of network attached system on chip devices. %U http://dblp.uni-trier.de/db/journals/ei/ei132.html#KeroCMM15 %V 132

@article{journals/ei/KeroCMM15, added-at = {2020-06-04T00:00:00.000+0200}, author = {Kerö, Nikolaus and Cadek, Gerhard R. and Maurer, Erich and Müller, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/2e5d983e34d02bc6b1bd1eddea1a0ed79/dblp}, ee = {https://doi.org/10.1007/s00502-015-0317-2}, interhash = {43caa123cc457555f4e111a9d422a619}, intrahash = {e5d983e34d02bc6b1bd1eddea1a0ed79}, journal = {Elektrotech. Informationstechnik}, keywords = {dblp}, number = 6, pages = {289-295}, timestamp = {2020-06-05T11:59:42.000+0200}, title = {Design and efficient verification of network attached system on chip devices.}, url = {http://dblp.uni-trier.de/db/journals/ei/ei132.html#KeroCMM15}, volume = 132, year = 2015 }