Sachin Sharma, Wouter Tavernier, Sahel Sahhaf, Didier Colle, Mario Pickavet, Piet Demeester. Verification of Flow Matching Functionality in the Forwarding Plane of OpenFlow Networks. IEICE Transactions, 98-B(11):2190-2201, 2015. [doi]
Abstract is missing.