Ghorbani, Soudeh ; Godfrey, Brighten: Towards Correct Network Virtualization. In: Proceedings of the Third Workshop on Hot Topics in Software Defined Networking. New York, NY, USA : ACM, 2014 (HotSDN '14). - ISBN 978-1-4503-2989-7, S. 109--114