Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem
← Back to work

Works citing this work

1 works

  1. Improving the Formal Verification of Reachability Policies in Virtualized Networks

    Daniele Bringhenti, Guido Marchetto, Riccardo Sisto +3

    ArticleSoftware-Defined Networks and 5GIEEE Transactions on Network and Service Management20201 citations
    ABI