- Home
- Proceedings
- PDP
- PDP 2011
19th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2011)
A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free
Year: 2011, Pages: 3-10
Abstract
