Stephan Windmüller. Offline Validation of Firewalls. In James L. Rash, Christopher Rouff, editors, 34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011. pages 36-41, IEEE Computer Society, 2011. [doi]
Abstract is missing.