Krämer, B.

• Krämer, B.:
  Rule-Enhanced Petri Nets for Software Process Modelling. 1994.

• Krämer, B.; Voelker, N.; Koch, T.; Gotthardt, K.:
  Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme. 1994.

• Krämer, B.; Luqi,; Berzins, V.:
  Compositional Semantics of a Real-Time Prototyping Language. 1993.

• Halang, W.; Krämer, B.:
  Achieving High Integrity of Process Control Software by Graphical Design and Formal Verification. 1992.

• Hoffman, C.; Krämer, B.; Dinler, B.:
  Multiparadigm Description of System Development Processes. 1992.

• Itzfeld, W.D.; Krämer, B.; Christ-Neumann, M.L.:
  The project GRASPIN and its CASE Environment Prototypes: An Overview. 1991.

• Krämer, B.:
  Prototyping and Formal Analysis of Concurrent and Distributed Systems. 1991.

• Krämer, B.; Luqi,:
  Towards Formal Models of Software Engineering Processes. 1991.

• Krämer, B.; Marinos, L.; Sesterhenn, A.:
  Coordinating Software Process Activities. 1991.

• Krämer, B.; Schmidt, H.W.:
  Types and Modules for Net Specifications. 1991.

• Krämer, Bernd:
  Introducing the GRASPIN Specification Language SEGRAS. 1991.

• Krämer, Bernd; Luqi,:
  Toward Formal Models of Software Engineering Processes. 1991.

• Krämer, Bernd; Luqi,; Berzins, Valdis:
  High-Level-Net Semantics of a Real-Time Prototyping Language. 1991.

• Kramer, B.; Luqi,:
  Petri Net-Based Models of Software Engineering Processes. 1990.

• Kramer, B.; Schmidt, H.W.:
  Architecture and functionality of a specification environment for distributed software. 1990.

• Krämer, B.:
  SEGRAS. The Specification Language of the GRASPIN Environment. Language Reference Manual. 1990.

• Krämer, B.:
  Concepts, Syntax and Semantics of SEGRAS. A Specification Language for Distributed Systems. 1989.

• Krämer, B.:
  SEGRAS: A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types in the Specification of Distributed Systems. 1987.

• Krämer, B.; Schmidt, H.W.:
  Types and Modules for Net Specifications. 1987.

• Krämer, B.:
  Die Spezifikations- und Entwurfsprache SEGRAS. 1986.

• Krämer, B.:
  SEGRAS: the GRASPIN Specification Language - Preliminary Reference Manual. 1986.

• Krämer, B.:
  Interactive Graphical Specification Using the Syntax-Directed SEGRAS Lab. 1986.

• Krämer, B.:
  Formal and Semi-Graphic Specification of Non-Sequential Software Systems. 1985.

• Krämer, B.:
  Interactive Graphical Specification in a Syntax-Directed Environment: The SEGRAS-lab-experience. 1985.

• Krämer, B.; Schmidt, H.W.:
  The SEGRAS Syntax. 1985.

• Krämer, B.; Schmidt, H.W.:
  The SEGRAS Specification Language: Conceptual Overview. 1985.

• Krämer, B.:
  Formal and Semi-Graphic Specification of Non-Sequential Systems. 1984.

• Krämer, B.:
  Stepwise Construction of Non-Sequential Software Systems Using a Net Based Specification Language. 1984.

• Krämer, B.; Schmidt, H.W.:
  A High Level Net Language for Stepwise Modeling of Organizational Systems. 1983.

• Krämer, B.; Schmidt, H.W.:
  Der Entwurf nebenläufiger Systeme mit Handlungs-Entscheidungs-Netzen. 1981.

• Krämer, B.; Schmidt, H.W.:
  Interactive Software Development by Stepwise Formalisation. 1981.

Back to the Petri Nets Bibliography