Jürjens, Jan

SAC. 2002 S. 1009 - 1013

Jürjens, Jan

Bart Jacobs;Arend Rensink (Hrsg). Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS 2002; March 20–22, 2002; Enschede, The Netherlands. New York: Kluwer Academic Publishers 2002 S. 29 - 43

Jürjens, Jan

FMOODS. 2002 S. 29 - 43

Jürjens, Jan

Synthese. Bd. 133. H. 1-2. Dordrecht: Springer 2002 S. 131 - 158

Jürjens, Jan

Synthese. Bd. 133. H. 1-2. 2002 S. 131 - 158

Jürjens, Jan

Patrick Horster (Hrsg). Enterprise Security: Grundlagen, Strategien, Anwendungen, Realisierungen. Höhenkirchen: IT-Verlag für Informationstechnik 2002 S. 120 - 131

Jürjens, Jan

2002

Jürjens, Jan

Bart De Decker;Frank Piessens;Jan Smits;Els Van Herreweghen (Hrsg). Advances in Network and Distributed Systems Security: IFIP TC11 WG11.4; First Annual Working Conference on Network Security; November 26-27, 2001, Leuven, Belgium. New York: Kluwer Academic Publishers 2002 S. 107 - 124

Jürjens, Jan

CORAS Public Workshop. Regensburg. 2002

Wimmel, Guido; Jürjens, Jan

Chris George;Huaikou Miao (Hrsg). Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21. - 25., 2002 Proceedings. Berlin: Springer 2002 S. 471 - 482 (Lecture Notes in Computer Science)