@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,
}