BIBTEX-
Jan Jürjens

---

@inproceedings{JurWim01,
       author = {J. {J}{\"{u}}{r}jens and G. Wimmel},
       editor={D. Bj{\o}rner and M. Broy and A. Zamulin},
       title = {Specification-Based Testing of Firewalls},
       booktitle={Andrei Ershov 4th International Conference "Perspectives
of System Informatics" (PSI'01)},
       series=lncs,
       publisher=sv,
       volume=2244,
       pages={308--316},
       year = {2002},
       url = {http://www.jurjens.de/jan},
}

---

Jan Jürjens