Sun, Xudong, Ma, Wenjie, Gu, Jiawei Tyler, Ma, Zicheng, Chajed, Tej, Howell, Jon, Lattuada, Andrea, Padon, Oded, Suresh, Lalith, Szekeres, Adriana, and Xu, Tianyin. Anvil: Verifying Liveness of Cluster Management Controllers. Retrieved from https://par.nsf.gov/biblio/10599460.

Sun, Xudong, Ma, Wenjie, Gu, Jiawei Tyler, Ma, Zicheng, Chajed, Tej, Howell, Jon, Lattuada, Andrea, Padon, Oded, Suresh, Lalith, Szekeres, Adriana, & Xu, Tianyin. Anvil: Verifying Liveness of Cluster Management Controllers. Retrieved from https://par.nsf.gov/biblio/10599460.

Sun, Xudong, Ma, Wenjie, Gu, Jiawei Tyler, Ma, Zicheng, Chajed, Tej, Howell, Jon, Lattuada, Andrea, Padon, Oded, Suresh, Lalith, Szekeres, Adriana, and Xu, Tianyin. "Anvil: Verifying Liveness of Cluster Management Controllers". Country unknown/Code not available: 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI'24). https://par.nsf.gov/biblio/10599460.

@article{osti_10599460,
place = {Country unknown/Code not available}, title = {Anvil: Verifying Liveness of Cluster Management Controllers}, url = {https://par.nsf.gov/biblio/10599460}, abstractNote = {}, journal = {}, publisher = {18th USENIX Symposium on Operating Systems Design and Implementation (OSDI'24)}, author = {Sun, Xudong and Ma, Wenjie and Gu, Jiawei Tyler and Ma, Zicheng and Chajed, Tej and Howell, Jon and Lattuada, Andrea and Padon, Oded and Suresh, Lalith and Szekeres, Adriana and Xu, Tianyin}, }