%0 Journal Article %1 journals/jar/VerbeekS12 %A Verbeek, Freek %A Schmaltz, Julien %D 2012 %J J. Autom. Reasoning %K dblp %N 4 %P 419-439 %T Proof Pearl: A Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks. %U http://dblp.uni-trier.de/db/journals/jar/jar48.html#VerbeekS12 %V 48

@article{journals/jar/VerbeekS12, added-at = {2012-03-26T00:00:00.000+0200}, author = {Verbeek, Freek and Schmaltz, Julien}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24de4968ceb533df9a5ec1c14369153ca/dblp}, ee = {http://dx.doi.org/10.1007/s10817-010-9206-x}, interhash = {66aea462f176673a6adcb42c774f8a30}, intrahash = {4de4968ceb533df9a5ec1c14369153ca}, journal = {J. Autom. Reasoning}, keywords = {dblp}, number = 4, pages = {419-439}, timestamp = {2016-02-02T09:57:41.000+0100}, title = {Proof Pearl: A Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar48.html#VerbeekS12}, volume = 48, year = 2012 }