BibSonomy :: author  ::

bookmarks

publications

(88)

• The Challenges of Building Advanced Mechatronic Systems.
  Wilhelm Schäfer and Heike Wehrheim FOSE 72-84 (2007)
  to dblp by dblp on 2008-10-31 00:00:00
  | URL | BibTeX  
• Decomposition for Compositional Verification.
  Björn Metzler and Heike Wehrheim and Daniel Wonisch ICFEM 105-125 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.
  Gregor Engels and Baris Güldali and Christian Soltenborn and Heike Wehrheim AGTIVE 17-31 (2007)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• Bounded Model Checking for Partial Kripke Structures.
  Heike Wehrheim ICTAC 380-394 (2008)
  to dblp by dblp on 2008-09-02 00:00:00
  | URL | BibTeX  
• Alloy as a Refactoring Checker?
  H.-Christian Estler and Heike Wehrheim Electr. Notes Theor. Comput. Sci. 214 331-357 (2008)
  to dblp by dblp on 2008-08-21 00:00:00
  | URL | BibTeX  
• Refinement in the Presence of Unknowns.
  Heike Wehrheim Electr. Notes Theor. Comput. Sci. 201 255-264 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.
  Gregor Engels and Anneke Kleppe and Arend Rensink and Maria Semenyak and Christian Soltenborn and Heike Wehrheim ECMDA-FA 94-109 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.
  John Derrick and Gerhard Schellhorn and Heike Wehrheim FMOODS 78-95 (2008)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX  
• Ökonomische Effekte der EG-Integration der EFTA-Mitgliedstaaten Schweden, Finnland, Norwegen, Österreich und Schweiz im Agrarsektor : eine quantitative Analyse
  {Peter} Wehrheim (1994)
  to imported by fbw on 2008-05-30 16:42:01
  | URL | BibTeX  
• Einkommensteuer und Steuerwirkungslehre
  {Michael} Wehrheim (2001)
  to imported by fbw on 2008-05-29 13:24:55
  | URL | BibTeX