Stefan Schmid 0001, Bernhard Clemens Schrenk, Álvaro Torralba. NetStack: A Game Approach to Synthesizing Consistent Network Updates. In IFIP Networking Conference, IFIP Networking 2022, Catania, Italy, June 13-16, 2022. pages 1-9, IEEE, 2022. [doi]
Abstract is missing.