User: Guest  Login
If you experience problems opening the document, please try this link.
Document type:
Zeitschriftenaufsatz
Author(s):
Diekmann, Cornelius; Hupel, Lars; Michaelis, Julius; Haslbeck, Maximilian; Carle, Georg
Title:
Verified iptables Firewall Analysis and Verification
Journal title:
Journal of Automated Reasoning
Year:
2018
Journal volume:
61
Journal issue:
1-4
Pages contribution:
191-242
Fulltext / DOI:
doi:10.1007/s10817-017-9445-1
Publisher:
Springer Science and Business Media LLC
E-ISSN:
0168-74331573-0670
Date of publication:
03.01.2018
 BibTeX