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

Synthese. Bd. 133. H. 1-2. Dordrecht: Springer 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

Oxford: University of Oxford, Mathematical and Physical Sciences Division 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

Wimmel, Guido; Popp, Gerhard; Jürjens, Jan

7th European Conference on Pattern Languages of Programs (EuroPLoP 2002). Kloster Irsee. 2002

Jürjens, Jan

6th Annual Workshop on Distributed Objects and Components Security (DOCsec 2002). Baltimore, Maryland. 2002

Jürjens, Jan

Jean-Marc Jézéquel; Heinrich Hussmann; Stephen Cook (Hrsg). ≪UML≫ 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings. Berlin: Springer 2002 S. 412 - 425