%0 Journal Article %1 journals/systems/DaoudTBHD17 %A Daoud, Hayat %A Tanougast, Camel %A Belarbi, Mostefa %A Heil, Mikael %A Diou, Camille %D 2017 %J Syst. %K dblp %N 1 %P 17 %T Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture. %U http://dblp.uni-trier.de/db/journals/systems/systems5.html#DaoudTBHD17 %V 5

@article{journals/systems/DaoudTBHD17, added-at = {2020-09-08T00:00:00.000+0200}, author = {Daoud, Hayat and Tanougast, Camel and Belarbi, Mostefa and Heil, Mikael and Diou, Camille}, biburl = {https://www.bibsonomy.org/bibtex/26436823b90a076d3080cbeaf112ccbb0/dblp}, ee = {https://www.wikidata.org/entity/Q57831666}, interhash = {3eb3a8a84dd5dcb35e2960b98f779c05}, intrahash = {6436823b90a076d3080cbeaf112ccbb0}, journal = {Syst.}, keywords = {dblp}, number = 1, pages = 17, timestamp = {2020-09-09T12:10:58.000+0200}, title = {Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture.}, url = {http://dblp.uni-trier.de/db/journals/systems/systems5.html#DaoudTBHD17}, volume = 5, year = 2017 }