• Contact
• Staff
• Research
  • Algebraic System Derivation
    • Basic Structures
    • Semantics
    • System Derivation
  • Multimedia Information Systems
• Publications
• Home

• Diese Seite auf deutsch

 Search

•  
• Sitemap

 Kontakt

• E-Mail

Semantics

Publications

• Hybrid Systems
  Dr. Peter Höfner   

• Refinement Algebra
  Prof. Dr. Bernhard Möller   

• Pointer Structures
  Prof. Dr. Bernhard Möller   

• InopSys - Interoperability of Calculi for System Modelling
  Prof. Dr. Bernhard Möller   

• Streams and Parallelism
  (inactive)
  Prof. Dr. Bernhard Möller   

• Algebraic Calculi for Separation Logic
  Prof. Dr. Bernhard Möller   

• [Impressum]
• [Datenschutz]
• [E-Mail]
• 05.11.2006