@article{e15558809ab944478c12e9242118e487,
title = "A Decision Procedure for Deadlock-Free Routing in Wormhole Networks",
keywords = "Communication networks, deadlocks, routing protocols, automatic verification, formal methods, SUFFICIENT CONDITION, TURN MODEL, RECONFIGURATION, CHIP",
author = "Freek Verbeek and Julien Schmaltz",
year = "2014",
month = aug,
doi = "10.1109/TPDS.2013.121",
language = "English",
volume = "25",
pages = "1935--1944",
journal = "Ieee Transactions on Parallel and Distributed Systems",
issn = "1045-9219",
publisher = "IEEE COMPUTER SOC",
number = "8",
}