%0 Conference Paper %1 conf/issoc/MoiseevZKS11 %A Moiseev, Mikhail J. %A Zakharov, Alexey V. %A Klotchkov, Ilya %A Salishev, Sergey I. %B SoC %D 2011 %I IEEE %K dblp %P 42-47 %T Static analysis method for deadlock detection in SystemC designs. %U http://dblp.uni-trier.de/db/conf/issoc/issoc2011.html#MoiseevZKS11 %@ 978-1-4577-0670-7

@inproceedings{conf/issoc/MoiseevZKS11, added-at = {2015-01-06T00:00:00.000+0100}, author = {Moiseev, Mikhail J. and Zakharov, Alexey V. and Klotchkov, Ilya and Salishev, Sergey I.}, biburl = {https://www.bibsonomy.org/bibtex/280e4cede2d7c8ce53450c79ade00b03e/dblp}, booktitle = {SoC}, crossref = {conf/issoc/2011}, ee = {http://dx.doi.org/10.1109/ISSOC.2011.6089227}, interhash = {63c83990af7b188b9b1f38c2a07081fe}, intrahash = {80e4cede2d7c8ce53450c79ade00b03e}, isbn = {978-1-4577-0670-7}, keywords = {dblp}, pages = {42-47}, publisher = {IEEE}, timestamp = {2015-06-19T03:07:25.000+0200}, title = {Static analysis method for deadlock detection in SystemC designs.}, url = {http://dblp.uni-trier.de/db/conf/issoc/issoc2011.html#MoiseevZKS11}, year = 2011 }