Frenetic

swMATH16270MaRDI QIDQ28140FDOQ28140

Author name not available (Why is that?)

Cited In (7)

• Explaining safety failures in NetKAT
• Probabilistic NetKAT
• Detection and mitigation of DDoS attacks in SDN: a comprehensive review, research challenges and future directions
• Model Checking Data Flows in Concurrent Network Updates
• Title not available (Why is that?)
• NetKAT — A Formal System for the Verification of Networks
• Frenetic

This page was built for software: Frenetic