Abstractions for model checking SDN controllers (2013)

by D Sethi, S Narayana, S Malik
Venue:in: Formal Methods in Computer-Aided Design (FMCAD