1. 1996. Internet2. (1996). https://www.internet2.edu/. 1996. Internet2. (1996). https://www.internet2.edu/.
2. 2012. Network Function Virtualisation - Introductory White Paper. https://portal.etsi.org/nfv/nfv_white_paper.pdf. (2012). 2012. Network Function Virtualisation - Introductory White Paper. https://portal.etsi.org/nfv/nfv_white_paper.pdf. (2012).
3. 2014. CloudLab. (2014). https://www.cloudlab.us/. 2014. CloudLab. (2014). https://www.cloudlab.us/.
4. Automatic Inference and Enforcement of Kernel Data Structure Invariants