NetSketch

swMATH20006MaRDI QIDQ31829FDOQ31829

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?doid=1755952.1755985

Cited In (3)

• A user-friendly interface for a lightweight verification system
• Safe compositional network sketches: formal framework
• scunac

This page was built for software: NetSketch