@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

@articleWehrheim_1999, title=Partial order reductions for failures refinement, DOI=10.1016/S1571-0661(05)80296-8, journal=Electr. Notes Theor. Comput. Sci., author=Wehrheim, Heike, year=1999, pages=71--84 
LibreCat: /record/3252
DOI: 10.1016/S1571-0661(05)80296-8

@inproceedingsWehrheim_1999, series=Lecture Notes in Computer Science, title=Data Abstraction for CSP-OZ, DOI=10.1007/3-540-48118-4_5, booktitle=FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, author=Wehrheim, Heike, editor=M. Wing, Jeannette and Woodcock, Jim and Davies, JimEditors, year=1999, pages=1028--1047, collection=Lecture Notes in Computer Science 
LibreCat: /record/3253
DOI: 10.1007/3-540-48118-4_5

@inproceedingsFischer_Wehrheim_1999, title=Model-Checking CSP-OZ Specifications with FDR, booktitle=Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999, author=Fischer, Clemens and Wehrheim, Heike, editor=Araki, Keijiro and Galloway, Andy and Taguchi, KenjiEditors, year=1999, pages=315--334 
LibreCat: /record/3254

@inproceedingsGehrke_Huhn_Niebert_Rensink_Wehrheim_1998, title=A Process Algebra Semantics for MSC Including Conditions, booktitle=Formale Beschreibungstechniken f\'22ur verteilte Systeme, 8. GI/ITG-Fachgespr\'22ach, Cottbus, 4. und 5. Juni 1998, author=Gehrke, Thomas and Huhn, Michaela and Niebert, Peter and Rensink, Arend and Wehrheim, Heike, editor=K\'22onig, Hartmut and Langend\'22orfer, PeterEditors, year=1998, pages=185--196 
LibreCat: /record/3255

@inproceedingsGehrke_Huhn_Rensink_Wehrheim_1998, series=IFIP Conference Proceedings, title=An Algebraic Semantics for Message Sequence Chart Documents, booktitle=Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII’98, IFIP T W.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France, author=Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike, editor=Budkowski, Stanislaw and R. Cavalli, Ana and Najm, ElieEditors, year=1998, pages=3--18, collection=IFIP Conference Proceedings 
LibreCat: /record/3256

@inproceedingsHuhn_Niebert_Wehrheim_1998, series=Lecture Notes in Computer Science, title=Partial Order Reductions for Bisimulation Checking, DOI=10.1007/978-3-540-49382-2_26, booktitle=Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, author=Huhn, Michaela and Niebert, Peter and Wehrheim, Heike, editor=Arvind, Vikraman and Ramanujam, RamaswamyEditors, year=1998, pages=271--282, collection=Lecture Notes in Computer Science 
LibreCat: /record/3257
DOI: 10.1007/978-3-540-49382-2_26

@inproceedingsRensink_Wehrheim_1997, series=Lecture Notes in Computer Science, title=Dependency-Based Action Refinement, DOI=10.1007/BFb0029990, booktitle=Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, author=Rensink, Arend and Wehrheim, Heike, editor=Pr\rquote vara, Igor and Ruzicka, PeterEditors, year=1997, pages=468--477, collection=Lecture Notes in Computer Science 
LibreCat: /record/3258
DOI: 10.1007/BFb0029990