Login
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Diekmann, Cornelius; Hupel, Lars; Michaelis, Julius; Haslbeck, Maximilian; Carle, Georg
- Titel:
- Verified iptables Firewall Analysis and Verification
- Zeitschriftentitel:
- Journal of Automated Reasoning
- Jahr:
- 2018
- Band / Volume:
- 61
- Heft / Issue:
- 1-4
- Seitenangaben Beitrag:
- 191-242
- Volltext / DOI:
- doi:10.1007/s10817-017-9445-1
- Verlag / Institution:
- Springer Science and Business Media LLC
- E-ISSN:
- 0168-74331573-0670
- Publikationsdatum:
- 03.01.2018
BibTeX