%0 Journal Article %1 journals/afp/MichaelisD16 %A Michaelis, Julius %A Diekmann, Cornelius %D 2016 %J Arch. Formal Proofs %K %T Routing. %U http://dblp.uni-trier.de/db/journals/afp/afp2016.html#MichaelisD16 %V 2016

@article{journals/afp/MichaelisD16, added-at = {2023-12-13T09:09:29.000+0100}, author = {Michaelis, Julius and Diekmann, Cornelius}, biburl = {https://www.bibsonomy.org/bibtex/273de2b80fd59f990fa788e55d5c1dbad/admin}, ee = {https://www.isa-afp.org/entries/Routing.shtml}, interhash = {cba39a954dc76075036fe90ecbe8788e}, intrahash = {73de2b80fd59f990fa788e55d5c1dbad}, journal = {Arch. Formal Proofs}, keywords = {}, timestamp = {2023-12-13T09:09:29.000+0100}, title = {Routing.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2016.html#MichaelisD16}, volume = 2016, year = 2016 }