彼得·兰米奇 🌐和S.雷扎·塞菲加
2017年6月1日
流网络-AFP
@文章{Flow_Networks-AFP,作者={彼得·兰米奇和S.雷扎·塞菲加},title={流网络和Min-Cut-Max-Flow定理},journal={正式证据存档},月={6月},年份={2017年},注释={\url{https://isa-afp.org/entries/Flow_Networks.html},形式证明发展},ISSN={2150-914x},}
旧版本: