Rigorous Dense Graph Limit of a Model for Biological Transportation Networks | Synapse