Michael Borokhovich, Liron Schiff, Stefan Schmid. Provable data plane connectivity with local fast failover: introducing openflow graph algorithms. In Aditya Akella, Albert G. Greenberg, editors, Proceedings of the third workshop on Hot topics in software defined networking, HotSDN '14, Chicago, Illinois, USA, August 22, 2014. pages 121-126, ACM, 2014. [doi]
Abstract is missing.