( en | de | ru )

 

Disambiguation of "Ehrig, Hartmut"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.

, , , and . VL/HCC, page 71-78. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hartmut Ehrig

Hartmut Ehrig

Ehrig Lange

Gerhard Ehrig

Bodo Ehrig

 

Other publications of authors with the same name

Algebraic Specification Schemes for Data Base Systems., , and . VLDB, page 427-440. IEEE Computer Society, (1978)Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification).. Bulletin of the EATCS, (2004)Algebraic Techniques in Software Development., and . Bulletin of the EATCS, (1996)Dynamic Abstract Data Types: An informal Proposal., and . Bulletin of the EATCS, (1994)How to Transfer Concepts of Abstract Data Types to Petri Nets?, , and . Bulletin of the EATCS, (1997)Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification).. Bulletin of the EATCS, (2004)Specification of Modular Systems, and . University of Dortmund, Report 198, (1985)Algebraic Specification.. Current Trends in Theoretical Computer Science, volume 40 of World Scientific Series in Computer Science, World Scientific, (1993)Restriction Constructions in Specification Logics., and . Current Trends in Theoretical Computer Science, volume 40 of World Scientific Series in Computer Science, World Scientific, (1993)Parameterized Data Types and Parameter Passing.. ADT, University of Dortmund, (1982)