BibSonomy :: author  ::

bookmarks

publications

(51)

• Automating Algebraic Specifications of Non-freely Generated Data Types.
  Andriy Dunets and Gerhard Schellhorn and Wolfgang Reif ATVA 141-155 (2008)
  to dblp by dblp on 2008-10-21 00:00:00
  | URL | BibTeX  
• A Concept-Driven Construction of the Mondex Protocol Using Three Refinements.
  Gerhard Schellhorn and Richard Banach ABZ 57-70 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract).
  Gerhard Schellhorn ABZ 39-41 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Preface.
  Eerke A. Boiten and John Derrick and Gerhard Schellhorn Electr. Notes Theor. Comput. Sci. 214 1 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Completeness of ASM Refinement.
  Gerhard Schellhorn Electr. Notes Theor. Comput. Sci. 214 25-49 (2008)
  to dblp by dblp on 2008-08-21 00:00:00
  | URL | BibTeX  
• On the Refinement of Atomic Actions.
  Richard Banach and Gerhard Schellhorn Electr. Notes Theor. Comput. Sci. 201 3-30 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.
  Holger Grandy and Markus Bischof and Kurt Stenzel and Gerhard Schellhorn and Wolfgang Reif FM 165-180 (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  
• Umweltrechnungslegung : Instrumente der Rechenschaft über die Inanspruchnahme der natürlichen Umwelt
  {Mathias} Schellhorn (1995)
  to Rechnungslegung Umweltbezogenes_Management by fbw on 2008-05-30 16:42:01
  | URL | BibTeX  
• Umweltrechnungslegung : Instrumente der Rechenschaft über die Inanspruchnahme der natürlichen Umwelt
  {Mathias} Schellhorn (1997)
  to imported by fbw on 2008-05-29 13:24:55
  | URL | BibTeX