Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab. Formal Modeling of Multicast Communication in 3D NoCs. In 14th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2011, August 31 - September 2, 2011, Oulu, Finland. pages 634-642, IEEE, 2011. [doi]
Abstract is missing.