Papers: 10.1007/978-3-030-53291-8_8
https://doi.org/10.1007/978-3-030-53291-8_8
Towards Model Checking Real-World Software-Defined Networks
Cited by: 4
Author(s): Vasileios Klimis, George Parisis, Bernhard Reus
Published: over 6 years ago
Software Mentions 1
pypi: ctrl
Code, demos and utilities for learning to program with the Control Everything series.Papers that mentioned: 11
Very Likely Science (65)