Works cited by this work

35 works

Work: Improving the Formal Verification of Reachability Policies in Virtualized Networks

1. Service Function Chaining (SFC) Architecture

   Report20152 citations

   ABIABI:AkademIndex/openalex/2026.other.062424

2. Service Provider DevOps

   Wolfgang John, Guido Marchetto, Felicián Németh +5

   Article20172 citations

   ABIABI:AkademIndex/openalex/2026.other.202532

3. Untitled

   Other2 citations

   ABIABI:AkademIndex/openalex/2026.other.202547

4. Untitled

   Other2 citations

   ABIABI:AkademIndex/openalex/2026.other.202548

5. Untitled

   Other2 citations

   ABIABI:AkademIndex/openalex/2026.other.202551

6. Untitled

   Other2 citations

   ABIABI:AkademIndex/openalex/2026.other.202555

7. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.205823

8. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.205824

9. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.205825

10. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205826

11. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205827

12. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205828

13. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205829

14. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205830

15. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205831

16. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205832

17. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205833

18. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205834

19. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205835

20. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205836

21. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205837

22. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205838

23. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205839

24. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205840

25. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.205841