@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}},
}

@inproceedings{20994,
  author       = {{Eis, M. and Meschut, Gerson}},
  booktitle    = {{Tagungsband zur Veranstaltung EndForm 2000}},
  isbn         = {{ISBN 3-8265-7332-3}},
  location     = {{Aachen}},
  pages        = {{135--152}},
  publisher    = {{Shaker Verlag}},
  title        = {{{Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen}}},
  year         = {{2000}},
}

@inproceedings{20995,
  author       = {{Hahn, O. and Koyro, M. and Meschut, Gerson}},
  booktitle    = {{Tagungsband zur Veranstaltung EndForm 2000}},
  isbn         = {{ISBN 3-8265-7332-3}},
  location     = {{Aachen}},
  pages        = {{225--241}},
  publisher    = {{Shaker Verlag}},
  title        = {{{Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen}}},
  year         = {{2000}},
}

@inproceedings{20996,
  author       = {{Hahn, O. and Eis, M. and Meschut, Gerson}},
  booktitle    = {{Tagungsband zur Swiss Bondung ´00}},
  location     = {{Rapperswil (CH)}},
  title        = {{{Erhöhung der der Bauteilsteifigkeit durch Optimierung von Unterfütterungsklebungen}}},
  year         = {{2000}},
}

@article{20997,
  author       = {{Hahn, O. and Besserdich, G. and Dölle, N. and Jendrny, J. and Koyro, M. and Thesing, T. and Meschut, Gerson}},
  journal      = {{Schweißen und Schneiden}},
  number       = {{5}},
  pages        = {{266--271}},
  title        = {{{Prüfung und Berechnung geklebter Blech-Profil-Verbindungen aus Aluminium}}},
  volume       = {{50}},
  year         = {{2000}},
}

@article{20998,
  author       = {{Hahn, O. and Meschut, Gerson and Eis, M. and Maciej, M.}},
  journal      = {{Schweißen und Schneiden}},
  number       = {{6}},
  pages        = {{340--348}},
  title        = {{{Beeinflussung der mechanischen Eigenschaften geklebter Kunststoffverbindungen durch Diffusion von Klebstoffbestandteilen in die polymeren Fügeteile}}},
  volume       = {{52}},
  year         = {{2000}},
}

@article{20999,
  author       = {{Hahn, O. and Meschut, Gerson and Koyro, M.}},
  journal      = {{Schweißen und Schneiden}},
  number       = {{7}},
  pages        = {{412--418}},
  title        = {{{Kleben in Kombination mit Fügen durch Umformen – eine wärmearme Fügetechnik für eigenschaftsoptimierte Aluminium-Rahmenkonstruktionen}}},
  volume       = {{52}},
  year         = {{2000}},
}

@techreport{21001,
  author       = {{Hahn, O. and Meschut, Gerson and Eis, M. and Kötting, G.}},
  isbn         = {{ISBN 3-934238-25-4}},
  publisher    = {{Verlag und Vertriebsgesellschaft mbH}},
  title        = {{{Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile}}},
  year         = {{2000}},
}

@article{21002,
  author       = {{Hahn, O. and Koyro, M. and Meschut, Gerson}},
  journal      = {{der praktiker }},
  pages        = {{356--361}},
  title        = {{{Kleben in Kombination mit Fügen durch Umformen}}},
  volume       = {{9}},
  year         = {{2000}},
}

@inproceedings{21003,
  author       = {{Bohling, P. and Jüttner, S. and Kaiser, M. and Meschut, Gerson and Schumann, S.}},
  isbn         = {{ISBN 3-9805447-3-7}},
  location     = {{Paderborn}},
  pages        = {{199--210}},
  title        = {{{Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau}}},
  year         = {{2000}},
}

@article{21006,
  author       = {{Meschut, Gerson}},
  journal      = {{Adhäsion}},
  number       = {{11}},
  pages        = {{14--21}},
  title        = {{{Eigenschaftsoptimierte Verbindungen durch wärmearmes Hybridfügen}}},
  volume       = {{44}},
  year         = {{2000}},
}