TY - RPRT TI - Principled Network Reliability Approximation: A Counting-Based Approach AU - R. Paredes AU - L. Duenas-Osorio AU - K. S. Meel AU - M. Y. Vardi PY - 2019 DO - 10.1016/j.ress.2019.04.025 UR - https://arxiv.org/abs/1806.00917 ID - 1806.00917 ER -