Mikhail J. Moiseev, Alexey V. Zakharov, Ilya Klotchkov, Sergey I. Salishev. Static analysis method for deadlock detection in SystemC designs. In 2011 International Symposium on System on Chip, SoC 2011, Tampere, Finland, October 31 - November 2, 2011. pages 42-47, IEEE, 2011. [doi]
Abstract is missing.