Conference
Butterfly: Scalable Probabilistic Verification for Network Resilience under Failures
| Title: | Butterfly: Scalable Probabilistic Verification for Network Resilience under Failures |
|---|---|
| Authors: | Ahangary, Saideh, Bos, Herbert, Gleissenthall, Klaus V., Slowinska, Asia |
| Source: | 2026 IFIP Networking Conference (IFIP Networking) Networking Conference (IFIP Networking), 2026 IFIP. :1-6 May, 2026 |
| Relation: | 2026 IFIP Networking Conference (IFIP Networking) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9783903176829 9798319507792 |
|---|---|
| ISSN: | 18612288 |
| DOI: | 10.23919/IFIPNetworking70592.2026.11579184 |