## Sami Taktak, Emmanuelle Encrenaz, Jean Lou Desbarbieux

*A Polynomial Algorithm to Prove Deadlock-Freeness of Wormhole Networks*

PDP, 2010.

@inproceedings{PDP-2010-TaktakED, author = "Sami Taktak and Emmanuelle Encrenaz and Jean Lou Desbarbieux", booktitle = "{Proceedings of the 18th Euromicro Conference on Parallel, Distributed and Network-based Processing, PDP 2010, Pisa, Italy, February 17-19, 2010}", doi = "10.1109/PDP.2010.19", isbn = "978-0-7695-3939-3", pages = "121--128", publisher = "{IEEE Computer Society}", title = "{A Polynomial Algorithm to Prove Deadlock-Freeness of Wormhole Networks}", year = 2010, }