Publisher
Springer International Publishing
Reference18 articles.
1. Benini, L., Micheli, G.D.: Networks on chips: a new SoC paradigm. Computer 35(1), 70–78 (2002). https://doi.org/10.1109/2.976921
2. Lecture Notes in Computer Science;R Cavada,2014
3. Cavada, R., et al.: nuXmv 1.1.1 user manual. Technical report (2016)
4. Chen, R.C.: Deadlock prevention in message switched networks. In: Proceedings of the 1974 Annual Conference, vol. 1, p. 306–310. ACM, New York (1974). https://doi.org/10.1145/800182.810417
5. Lecture Notes in Computer Science;EM Clarke,1982
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Deadlock in Packet Switching Networks;Fundamentals of Software Engineering;2021