@book{24496,
  author       = {{Gausemeier, Jürgen and Lindemann, Udo and Reinhart, G. and Wiendahl, H.}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Kooperatives Produktengineering - Ein neues Selbstverständnis des ingenieurmäßigen Wirkens}}},
  volume       = {{79}},
  year         = {{2000}},
}

@book{24497,
  author       = {{Gausemeier, Jürgen and Lückel, Joachim}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Entwicklungsumgebungen Mechatronik - Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme}}},
  volume       = {{80}},
  year         = {{2000}},
}

@proceedings{24498,
  editor       = {{Gausemeier, Jürgen and Lückel, Joachim}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen...}}},
  volume       = {{82}},
  year         = {{2000}},
}

@phdthesis{24499,
  author       = {{Del Castillo, Giuseppe}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models}}},
  volume       = {{83}},
  year         = {{2000}},
}

@phdthesis{24500,
  author       = {{Schäfermeier, Ulrich}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Eine Methode zur systemorientierten organisatorischen Gestaltung der Zweckaufgabenverrichtung in kooperativen Verbünden; Klassifikation, Aufgabenzuordnung}}},
  volume       = {{84}},
  year         = {{2000}},
}

@phdthesis{24501,
  author       = {{Krüger, Jens}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Ganzheitliche Beherrschung von Abläufen in und zwischen soziotechnischen Systemen: Ein Beitrag zur Modellbildung und zum paradigmatischen Verständnis von Industrieunternehmen zur Integration von Mensc}}},
  volume       = {{85}},
  year         = {{2000}},
}

@phdthesis{24503,
  author       = {{Bartscher, Thomas}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Methoden des Integrierten Workflowmanagements (IWFM)}}},
  volume       = {{86}},
  year         = {{2000}},
}

@phdthesis{24506,
  author       = {{Quintanilla, Julia}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme}}},
  volume       = {{87}},
  year         = {{2000}},
}

@article{2585,
  author       = {{Betz, Stefan}},
  journal      = {{Zeitschrift für Planung}},
  pages        = {{pp. 169--193}},
  title        = {{{Funktionales Qualitätscontrolling bei mehrstufiger Fertigung}}},
  volume       = {{11}},
  year         = {{2000}},
}

@article{2586,
  author       = {{Betz, Stefan}},
  journal      = {{Betrieb und Wirtschaft}},
  pages        = {{pp. 749--755}},
  title        = {{{Qualitätskostencontrolling auf Basis des Half-Life-Konzepts}}},
  volume       = {{54}},
  year         = {{2000}},
}

@article{3247,
  author       = {{Fischer, Clemens and Wehrheim, Heike}},
  journal      = {{Bulletin of the {EATCS}}},
  pages        = {{92----101}},
  title        = {{{Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}}},
  year         = {{2000}},
}

@article{3248,
  author       = {{Wehrheim, Heike}},
  journal      = {{Formal Asp. Comput.}},
  number       = {{3}},
  pages        = {{147----164}},
  title        = {{{Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}}},
  doi          = {{10.1007/s001650070026}},
  year         = {{2000}},
}

@inproceedings{3249,
  author       = {{Fischer, Clemens and Wehrheim, Heike}},
  booktitle    = {{Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}},
  editor       = {{Rus, Teodor}},
  pages        = {{469----483}},
  title        = {{{Behavioural Subtyping Relations for Object-Oriented Formalisms}}},
  doi          = {{10.1007/3-540-45499-3_33}},
  year         = {{2000}},
}

@inproceedings{3250,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}},
  editor       = {{S. E. Maibaum, T.}},
  pages        = {{334----348}},
  title        = {{{Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}}},
  doi          = {{10.1007/3-540-46428-X_23}},
  year         = {{2000}},
}

@inproceedings{3251,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}}},
  editor       = {{F. Smith, Scott and L. Talcott, Carolyn}},
  pages        = {{213----231}},
  title        = {{{Behavioural Subtyping and Property Preservation}}},
  doi          = {{10.1007/978-0-387-35520-7_11}},
  year         = {{2000}},
}

@inbook{3602,
  author       = {{Harteis, Christian}},
  booktitle    = {{Kompendium Weiterbildung}},
  editor       = {{Harteis, Christian and Heid, Helmut and Kraft, Susanne}},
  pages        = {{209----217}},
  publisher    = {{Leske+Budrich}},
  title        = {{{Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung}}},
  year         = {{2000}},
}

@book{3669,
  editor       = {{Harteis, Christian and Heid, Helmut and Kraft, Susanne}},
  publisher    = {{Leske+Budrich}},
  title        = {{{Kompendium Weiterbildung}}},
  year         = {{2000}},
}

@book{3674,
  author       = {{Harteis, Christian}},
  publisher    = {{Neuer Merkur}},
  title        = {{{Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung}}},
  year         = {{2000}},
}

@inbook{3023,
  author       = {{Blömer, Johannes}},
  booktitle    = {{Automata, Languages and Programming}},
  isbn         = {{9783540677154}},
  issn         = {{0302-9743}},
  pages        = {{248--259}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices}}},
  doi          = {{10.1007/3-540-45022-x_22}},
  year         = {{2000}},
}

@inproceedings{20993,
  author       = {{Hahn, O. and Eis, M. and Meschut, Gerson}},
  booktitle    = {{Tagungsband zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen”}},
  location     = {{Würzburg}},
  pages        = {{147--161}},
  title        = {{{Qualitätssicherung bei der Herstellung von Klebverbindungen}}},
  year         = {{2000}},
}