%0 Conference Paper %1 conf/ddecs/MoiseevGZR13 %A Moiseev, Mikhail J. %A Glukhikh, Mikhail %A Zakharov, Alexey V. %A Richter, Harald %B DDECS %D 2013 %E Sekanina, Lukás %E Fey, Görschwin %E Raik, Jaan %E Aunet, Snorre %E Ruzicka, Richard %I IEEE Computer Society %K %P 54-59 %T A static analysis approach to data race detection in SystemC designs. %U http://dblp.uni-trier.de/db/conf/ddecs/ddecs2013.html#MoiseevGZR13 %@ 978-1-4673-6135-4

@inproceedings{conf/ddecs/MoiseevGZR13, added-at = {2023-12-12T18:58:21.000+0100}, author = {Moiseev, Mikhail J. and Glukhikh, Mikhail and Zakharov, Alexey V. and Richter, Harald}, biburl = {https://www.bibsonomy.org/bibtex/2af5a882d9b51e5a5afd09ca9c407f87f/admin}, booktitle = {DDECS}, crossref = {conf/ddecs/2013}, editor = {Sekanina, Lukás and Fey, Görschwin and Raik, Jaan and Aunet, Snorre and Ruzicka, Richard}, ee = {http://doi.ieeecomputersociety.org/10.1109/DDECS.2013.6549788}, interhash = {19e419b32a3ea1e927a9051a23c06878}, intrahash = {af5a882d9b51e5a5afd09ca9c407f87f}, isbn = {978-1-4673-6135-4}, keywords = {}, pages = {54-59}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T18:58:21.000+0100}, title = {A static analysis approach to data race detection in SystemC designs.}, url = {http://dblp.uni-trier.de/db/conf/ddecs/ddecs2013.html#MoiseevGZR13}, year = 2013 }