Kuai

swMATH34182MaRDI QIDQ45891FDOQ45891

Author name not available (Why is that?)

Cited In (2)

• Actor-based model checking for software-defined networks
• Model Checking Data Flows in Concurrent Network Updates

This page was built for software: Kuai