Verification of Flow Matching Functionality in the Forwarding Plane of OpenFlow Networks

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]

@article{SharmaTSCPD15,
  title = {Verification of Flow Matching Functionality in the Forwarding Plane of OpenFlow Networks},
  author = {Sachin Sharma and Wouter Tavernier and Sahel Sahhaf and Didier Colle and Mario Pickavet and Piet Demeester},
  year = {2015},
  url = {http://search.ieice.org/bin/summary.php?id=e98-b_11_2190},
  researchr = {https://researchr.org/publication/SharmaTSCPD15},
  cites = {0},
  citedby = {0},
  journal = {IEICE Transactions},
  volume = {98-B},
  number = {11},
  pages = {2190-2201},
}