Katra: Realtime Verification for Multilayer Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ryan Beckett, Aarti Gupta. Katra: Realtime Verification for Multilayer Networks. In Amar Phanishayee, Vyas Sekar, editors, 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022, Renton, WA, USA, April 4-6, 2022. pages 617-634, USENIX Association, 2022. [doi]

This author has not been identified. Look up 'Ryan Beckett' in GoogleThis author has not been identified. Look up 'Aarti Gupta' in Google

runs on WebDSL