Packet Reachability Verification in OpenFlow Networks. - Noriaki Yoshiura; Keigo Sugiyama (ICSCA, 2020)