Jürjens, Jan

Journal of Pure and Applied Algebra. Bd. 158. H. 2-3. Amsterdam: Elsevier 2001 S. 183 - 196

Jürjens, Jan

José Nuno Oliveira;Pamela Zave (Hrsg). FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings. Berlin: Springer 2001 S. 135 - 152 (Lecture Notes in Computer Science)

Jürjens, Jan

FME. 2001 S. 135 - 152

Jürjens, Jan

Network Security. 2001 S. 107 - 124

Jürjens, Jan; Wimmel, Guido

Beat Schmid;Katarina Stanoevska-Slabeva;Volker Tschammer (Hrsg). Towards the E-Society: E-Commerce, E-Business, and E-Government The First IFIP Conference on E-Commerce, E-Business, E-Government I3E 2001: October 3-5, 2001; Zürich, Switzerland. New York: Kluwer Academic Publishers 2001 S. 489 - 505

Jürjens, Jan; Wimmel, Guido

I3E. 2001 S. 489 - 505

Jürjens, Jan; Wimmel, Guido

Dines Bjørner;Manfred Broy;Alexandre V. Zamulin (Hrsg). Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers. Berlin: Springer 2001 S. 308 - 316 (Lecture Notes in Computer Science)

Jürjens, Jan; Wimmel, Guido

Ershov Memorial Conference. 2001 S. 308 - 316

Jürjens, Jan

Heinrich Hussmann (Hrsg). Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings. Berlin: Springer 2001 S. 187 - 200 (Lecture Notes in Computer Science)

Jürjens, Jan

FASE. 2001 S. 187 - 200