Ingo Lück, Christian Schäfer, Heiko Krumm. Model-Based Tool-Assistance for Packet-Filter Design. In Morris Sloman, Jorge Lobo, Emil Lupu, editors, Policies for Distributed Systems and Networks, International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001, Proceedings. Volume 1995 of Lecture Notes in Computer Science, pages 120-136, Springer, 2001. [doi]
Abstract is missing.