@articleBetz_2000, title=Qualitätskostencontrolling auf Basis des Half-Life-Konzepts, volume=54, journal=Betrieb und Wirtschaft, author=Betz, Stefan, year=2000, pages=749–755 
LibreCat: /record/2586

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

@articleWehrheim_2000, title=Data Abstraction Techniques in the Validation of CSP-OZ Specifications, DOI=10.1007/s001650070026, number=3, journal=Formal Asp. Comput., author=Wehrheim, Heike, year=2000, pages=147--164 
LibreCat: /record/3248
DOI: 10.1007/s001650070026

@inproceedingsFischer_Wehrheim_2000, series=Lecture Notes in Computer Science, title=Behavioural Subtyping Relations for Object-Oriented Formalisms, DOI=10.1007/3-540-45499-3_33, booktitle=Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, author=Fischer, Clemens and Wehrheim, Heike, editor=Rus, TeodorEditor, year=2000, pages=469--483, collection=Lecture Notes in Computer Science 
LibreCat: /record/3249
DOI: 10.1007/3-540-45499-3_33

@inproceedingsWehrheim_2000, series=Lecture Notes in Computer Science, title=Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods, DOI=10.1007/3-540-46428-X_23, 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, author=Wehrheim, Heike, editor=S. E. Maibaum, T.Editor, year=2000, pages=334--348, collection=Lecture Notes in Computer Science 
LibreCat: /record/3250
DOI: 10.1007/3-540-46428-X_23

@inproceedingsWehrheim_2000, series=IFIP Conference Proceedings, title=Behavioural Subtyping and Property Preservation, DOI=10.1007/978-0-387-35520-7_11, booktitle=Formal Methods for Open Object-Based Distributed Systems IV, IFIF T/W.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA, author=Wehrheim, Heike, editor=F. Smith, Scott and L. Talcott, CarolynEditors, year=2000, pages=213--231, collection=IFIP Conference Proceedings 
LibreCat: /record/3251
DOI: 10.1007/978-0-387-35520-7_11

@inbookHarteis_2000, place=Opladen, title=Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung, booktitle=Kompendium Weiterbildung, publisher=Leske+Budrich, author=Harteis, Christian, editor=Harteis, Christian and Heid, Helmut and Kraft, SusanneEditors, year=2000, pages=209--217 
LibreCat: /record/3602

@bookHarteis_Heid_Kraft_2000, place=Opladen, title=Kompendium Weiterbildung, publisher=Leske+Budrich, year=2000 
LibreCat: /record/3669

@bookHarteis_2000, place=München, title=Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung, publisher=Neuer Merkur, author=Harteis, Christian, year=2000 
LibreCat: /record/3674

@inbookBlömer_2000, place=Berlin, Heidelberg, title=Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices, DOI=10.1007/3-540-45022-x_22, booktitle=Automata, Languages and Programming, publisher=Springer Berlin Heidelberg, author=Blömer, Johannes, year=2000, pages=248–259 
LibreCat: /record/3023
DOI: 10.1007/3-540-45022-x_22