UPPAAL-based Software-Defined Network Verification
UPPAAL-based Software-Defined Network Verification Uliana Popesko Lomonosov Moscow State University 2014.