Dominique Borrione, Amr Helmy, Laurence V. Pierre, Julien Schmaltz. A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study. In First International Symposium on Networks-on-Chips, NOCS 2007, 7-9 May 2007, Princeton, New Jersey, USA, Proceedings. pages 127-136, IEEE Computer Society, 2007. [doi]
Abstract is missing.