APA (7th ed.) Citation

Zhang, D., Thijm, T. A., Walker, D., & Gupta, A. (2026). CB-VER: A Stable Foundation for Modular Control Plane Verification.

Chicago Style (17th ed.) Citation

Zhang, Dexin, Timothy Alberdingk Thijm, David Walker, and Aarti Gupta. CB-VER: A Stable Foundation for Modular Control Plane Verification. 2026.

MLA (9th ed.) Citation

Zhang, Dexin, et al. CB-VER: A Stable Foundation for Modular Control Plane Verification. 2026.