scientific article; zbMATH DE number 2084352

zbMATH Open1073.68595MaRDI QIDQ3043838FDOQ3043838

Jan Jürjens, Guido Wimmel

Publication date: 6 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2244/22440308.htm

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Theory of software (68N99)

Cited In (1)

• Verified iptables firewall analysis and verification

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3043838)