%0 Conference Paper %1 conf/ant/WeissneggerKPRS17 %A Weissnegger, Ralph %A Kreiner, Christian %A Pistauer, Markus %A Römer, Kay %A Steger, Christian %B ANT/SEIT %D 2017 %E Shakshuki, Elhadi M. %I Elsevier %K dblp %P 392-399 %T SHARC - Simulation and Verification of Hierarchical Embedded Microelectronic Systems. %U http://dblp.uni-trier.de/db/conf/ant/ant2017.html#WeissneggerKPRS17 %V 109

@inproceedings{conf/ant/WeissneggerKPRS17, added-at = {2017-09-21T00:00:00.000+0200}, author = {Weissnegger, Ralph and Kreiner, Christian and Pistauer, Markus and Römer, Kay and Steger, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2a28af6749ea7b181e88ce2386cb23169/dblp}, booktitle = {ANT/SEIT}, crossref = {conf/ant/2017}, editor = {Shakshuki, Elhadi M.}, ee = {https://doi.org/10.1016/j.procs.2017.05.407}, interhash = {e5c976ead94c2c59d13c3b70a916b73c}, intrahash = {a28af6749ea7b181e88ce2386cb23169}, keywords = {dblp}, pages = {392-399}, publisher = {Elsevier}, series = {Procedia Computer Science}, timestamp = {2024-04-09T23:48:30.000+0200}, title = {SHARC - Simulation and Verification of Hierarchical Embedded Microelectronic Systems.}, url = {http://dblp.uni-trier.de/db/conf/ant/ant2017.html#WeissneggerKPRS17}, volume = 109, year = 2017 }