BibTeX record journals/afp/MichaelisD16
download as .bib file
@article{DBLP:journals/afp/MichaelisD16,
author = {Julius Michaelis and
Cornelius Diekmann},
title = {Routing},
journal = {Archive of Formal Proofs},
volume = {2016},
year = {2016},
url = {https://www.isa-afp.org/entries/Routing.shtml},
timestamp = {Mon, 07 Jan 2019 11:16:33 +0100},
biburl = {https://dblp.org/rec/bib/journals/afp/MichaelisD16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by

, founded at
